Index: trunk/src/org/openstreetmap/josm/tools/PlatformHookOsx.java
===================================================================
--- trunk/src/org/openstreetmap/josm/tools/PlatformHookOsx.java	(revision 4977)
+++ trunk/src/org/openstreetmap/josm/tools/PlatformHookOsx.java	(revision 4978)
@@ -209,5 +209,4 @@
         Shortcut.registerSystemShortcut("view:zoomin", "reserved", KeyEvent.VK_ADD, KeyEvent.META_DOWN_MASK); // Zoom in
         Shortcut.registerSystemShortcut("view:zoomout", "reserved", KeyEvent.VK_SUBTRACT, KeyEvent.META_DOWN_MASK); // Zoom out
-
     }
     @Override
Index: trunk/src/org/openstreetmap/josm/tools/PlatformHookUnixoid.java
===================================================================
--- trunk/src/org/openstreetmap/josm/tools/PlatformHookUnixoid.java	(revision 4977)
+++ trunk/src/org/openstreetmap/josm/tools/PlatformHookUnixoid.java	(revision 4978)
@@ -42,4 +42,6 @@
     public void initSystemShortcuts() {
         // TODO: Insert system shortcuts here. See Windows and especially OSX to see how to.
+        for(int i = KeyEvent.VK_F1; i <= KeyEvent.VK_F12; ++i)
+            Shortcut.registerSystemShortcut("screen:toogle"+i, "reserved", i, KeyEvent.CTRL_DOWN_MASK | KeyEvent.ALT_DOWN_MASK);
     }
     /**
Index: trunk/src/org/openstreetmap/josm/tools/PlatformHookWindows.java
===================================================================
--- trunk/src/org/openstreetmap/josm/tools/PlatformHookWindows.java	(revision 4977)
+++ trunk/src/org/openstreetmap/josm/tools/PlatformHookWindows.java	(revision 4978)
@@ -15,8 +15,10 @@
   */
 public class PlatformHookWindows extends PlatformHookUnixoid implements PlatformHook {
+    @Override
     public void openUrl(String url) throws IOException {
         Runtime.getRuntime().exec("rundll32 url.dll,FileProtocolHandler " + url);
     }
 
+    @Override
     public void initSystemShortcuts() {
         // This list if far from complete!
@@ -30,4 +32,5 @@
     }
 
+    @Override
     public String getDefaultStyle()
     {
