Fixed (ICE-5088) - IceGridGUI: Cut & paste does not work

1 files changed, 30 insertions, 0 deletions

diff --git a/java/src/IceGridGUI/Coordinator.java b/java/src/IceGridGUI/Coordinator.java
index 266d097c8c6..ca56098aa5e 100644
--- a/java/src/IceGridGUI/Coordinator.java
+++ b/java/src/IceGridGUI/Coordinator.java
@@ -25,6 +25,7 @@ import java.io.FileInputStream;
 import java.io.FileOutputStream;
 
 import javax.swing.*;
+import javax.swing.text.Keymap;
 
 import javax.swing.border.EmptyBorder;
 import javax.swing.filechooser.FileFilter;
@@ -188,6 +189,35 @@ public class Coordinator
 
     private class FocusListener implements java.beans.PropertyChangeListener
     {
+        FocusListener()
+        {
+            //
+            // If running in OS X update text component key strokes to use OS X default
+            // key strokes.
+            //
+            if(System.getProperty("os.name").startsWith("Mac OS"))
+            {
+                int MENU_MASK = Toolkit.getDefaultToolkit().getMenuShortcutKeyMask();
+                JTextComponent.KeyBinding[] defaultBindings = {
+                    new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_C, MENU_MASK),
+                                                  javax.swing.text.DefaultEditorKit.copyAction),
+                    new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_V, MENU_MASK),
+                                                  javax.swing.text.DefaultEditorKit.pasteAction),
+                    new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_X, MENU_MASK),
+                                                  javax.swing.text.DefaultEditorKit.cutAction),
+                    new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_A, MENU_MASK),
+                                                  javax.swing.text.DefaultEditorKit.selectAllAction)};
+
+                JTextComponent field = new JTextField();
+
+                Keymap k = field.getKeymap();
+                JTextComponent.loadKeymap(k, defaultBindings, field.getActions());
+
+                field = new JTextArea();
+                k = field.getKeymap();
+                JTextComponent.loadKeymap(k, defaultBindings, field.getActions());
+            }
+        }
         public void propertyChange(java.beans.PropertyChangeEvent e)
         {
             Object o = e.getNewValue();