Index: trunk/src/org/openstreetmap/josm/tools/InputMapUtils.java
===================================================================
--- trunk/src/org/openstreetmap/josm/tools/InputMapUtils.java	(revision 17775)
+++ trunk/src/org/openstreetmap/josm/tools/InputMapUtils.java	(revision 17776)
@@ -126,5 +126,5 @@
      */
     public static void addCtrlEnterAction(JComponent c, Action a) {
-        final KeyStroke stroke = KeyStroke.getKeyStroke(KeyEvent.VK_ENTER, InputEvent.CTRL_DOWN_MASK);
+        final KeyStroke stroke = KeyStroke.getKeyStroke(KeyEvent.VK_ENTER, PlatformManager.getPlatform().getMenuShortcutKeyMaskEx());
         c.getActionMap().put("ctrl_enter", a);
         c.getInputMap(JComponent.WHEN_IN_FOCUSED_WINDOW).put(stroke, "ctrl_enter");