Index: trunk/src/org/openstreetmap/josm/gui/MainApplication.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/MainApplication.java	(revision 12921)
+++ trunk/src/org/openstreetmap/josm/gui/MainApplication.java	(revision 12923)
@@ -8,4 +8,5 @@
 import java.awt.Container;
 import java.awt.Dimension;
+import java.awt.Font;
 import java.awt.GraphicsEnvironment;
 import java.awt.GridBagLayout;
@@ -1173,4 +1174,15 @@
             UIManager.put(p+".caretForeground", UIManager.getColor(p+".foreground"));
         }
+
+        double menuFontFactor = Config.getPref().getDouble("gui.scale.menu.font", 1.0);
+        if (menuFontFactor != 1.0) {
+            for (String key : Arrays.asList(
+                    "Menu.font", "MenuItem.font", "CheckBoxMenuItem.font", "RadioButtonMenuItem.font", "MenuItem.acceleratorFont")) {
+                Font font = UIManager.getFont(key);
+                if (font != null) {
+                    UIManager.put(key, font.deriveFont(font.getSize2D() * (float) menuFontFactor));
+                }
+            }
+        }
     }