Handle copy/paste/cut events on spinners for macOS.

Fixes #1067
google · Oct 24, 2017 · ede4765 · ede4765
1 parent 1adf883
commit ede4765
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/gapic/src/main/com/google/gapid/widgets/Widgets.java b/gapic/src/main/com/google/gapid/widgets/Widgets.java
@@ -24,6 +24,7 @@
 import com.google.common.util.concurrent.SettableFuture;
 import com.google.gapid.models.Models;
 import com.google.gapid.server.Client;
+import com.google.gapid.util.OS;
 import com.google.gapid.views.AtomEditor;
 
 import org.eclipse.jface.resource.JFaceResources;
@@ -342,6 +343,18 @@ public static Spinner createSpinner(Composite parent, int value, int min, int ma
     result.setMinimum(min);
     result.setMaximum(max);
     result.setSelection(value);
+
+    if (OS.isMac) {
+      result.addListener(SWT.KeyUp, e -> {
+        if ((e.stateMask & (SWT.CONTROL | SWT.COMMAND)) != 0) {
+          switch (e.keyCode) {
+            case 'c': result.copy(); break;
+            case 'v': result.paste(); break;
+            case 'x': result.cut(); break;
+          }
+        }
+      });
+    }
     return result;
   }