-/*******************************************************************************\r
- * Copyright (c) 2010, 2011 Association for Decentralized Information Management in\r
- * Industry THTH ry.\r
- * All rights reserved. This program and the accompanying materials\r
- * are made available under the terms of the Eclipse Public License v1.0\r
- * which accompanies this distribution, and is available at\r
- * http://www.eclipse.org/legal/epl-v10.html\r
- *\r
- * Contributors:\r
- * VTT Technical Research Centre of Finland - initial API and implementation\r
- *******************************************************************************/\r
-package org.simantics.modeling.ui.chart.property;\r
-\r
-import org.eclipse.swt.events.SelectionEvent;\r
-import org.eclipse.swt.widgets.Widget;\r
-import org.simantics.browsing.ui.swt.widgets.Scale;\r
-import org.simantics.browsing.ui.swt.widgets.impl.SelectionListenerImpl;\r
-import org.simantics.databoard.Bindings;\r
-import org.simantics.db.Resource;\r
-import org.simantics.db.WriteGraph;\r
-import org.simantics.db.exception.DatabaseException;\r
-import org.simantics.db.management.ISessionContext;\r
-\r
-/**\r
- * @author Tuukka Lehtonen\r
- */\r
-public class DelayedIntegerToDoublePropertyModifier extends SelectionListenerImpl<Resource> {\r
-\r
- private final Scale slider;\r
- private final String propertyURI;\r
- private int selection;\r
-\r
- public DelayedIntegerToDoublePropertyModifier(Scale slider, ISessionContext context, String propertyURI) {\r
- super(context);\r
- this.slider = slider;\r
- this.propertyURI = propertyURI;\r
- }\r
-\r
- @Override\r
- public void beforeApply() {\r
- this.selection = slider.getWidget().getSelection();\r
- }\r
-\r
- @Override\r
- public void apply(WriteGraph graph, Resource input) throws DatabaseException {\r
- graph.claimLiteral(input, graph.getResource(propertyURI), (double) selection, Bindings.DOUBLE);\r
- }\r
-\r
- private void super$widgetSelected(SelectionEvent e) {\r
- super.widgetSelected(e);\r
- }\r
-\r
- int modCount = 0;\r
-\r
- @Override\r
- public void widgetSelected(final SelectionEvent e) {\r
- final int mod = ++modCount;\r
- final Widget widget = slider.getWidget();\r
- widget.getDisplay().timerExec(250, new Runnable() {\r
- @Override\r
- public void run() {\r
- if (widget.isDisposed() || mod != modCount)\r
- return;\r
- super$widgetSelected(e);\r
- }\r
- });\r
- }\r
-\r
-}\r
+/*******************************************************************************
+ * Copyright (c) 2010, 2011 Association for Decentralized Information Management in
+ * Industry THTH ry.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * VTT Technical Research Centre of Finland - initial API and implementation
+ *******************************************************************************/
+package org.simantics.modeling.ui.chart.property;
+
+import org.eclipse.swt.events.SelectionEvent;
+import org.eclipse.swt.widgets.Widget;
+import org.simantics.browsing.ui.swt.widgets.Scale;
+import org.simantics.browsing.ui.swt.widgets.impl.SelectionListenerImpl;
+import org.simantics.databoard.Bindings;
+import org.simantics.db.Resource;
+import org.simantics.db.WriteGraph;
+import org.simantics.db.exception.DatabaseException;
+import org.simantics.db.management.ISessionContext;
+
+/**
+ * @author Tuukka Lehtonen
+ */
+public class DelayedIntegerToDoublePropertyModifier extends SelectionListenerImpl<Resource> {
+
+ private final Scale slider;
+ private final String propertyURI;
+ private int selection;
+
+ public DelayedIntegerToDoublePropertyModifier(Scale slider, ISessionContext context, String propertyURI) {
+ super(context);
+ this.slider = slider;
+ this.propertyURI = propertyURI;
+ }
+
+ @Override
+ public void beforeApply() {
+ this.selection = slider.getWidget().getSelection();
+ }
+
+ @Override
+ public void apply(WriteGraph graph, Resource input) throws DatabaseException {
+ graph.claimLiteral(input, graph.getResource(propertyURI), (double) selection, Bindings.DOUBLE);
+ }
+
+ private void super$widgetSelected(SelectionEvent e) {
+ super.widgetSelected(e);
+ }
+
+ int modCount = 0;
+
+ @Override
+ public void widgetSelected(final SelectionEvent e) {
+ final int mod = ++modCount;
+ final Widget widget = slider.getWidget();
+ widget.getDisplay().timerExec(250, new Runnable() {
+ @Override
+ public void run() {
+ if (widget.isDisposed() || mod != modCount)
+ return;
+ super$widgetSelected(e);
+ }
+ });
+ }
+
+}