--- /dev/null
+/*******************************************************************************\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