diff --git a/app/src/processing/app/Toolkit.java b/app/src/processing/app/Toolkit.java index 08082c63a..f3552d7b6 100644 --- a/app/src/processing/app/Toolkit.java +++ b/app/src/processing/app/Toolkit.java @@ -117,6 +117,7 @@ public class Toolkit { return menuItem; } + static public JCheckBoxMenuItem newJCheckBoxMenuItem(String title, int what) { JCheckBoxMenuItem menuItem = new JCheckBoxMenuItem(title); int modifiers = awtToolkit.getMenuShortcutKeyMask(); @@ -124,6 +125,7 @@ public class Toolkit { return menuItem; } + static public void addDisabledItem(JMenu menu, String title) { JMenuItem item = new JMenuItem(title); item.setEnabled(false); @@ -338,6 +340,7 @@ public class Toolkit { } } + /** * As setMenuMnemonics(JMenuItem...). */