()
| 1791 | } |
| 1792 | |
| 1793 | public static void updateFont() { |
| 1794 | scale = (int)Math.round(Prefs.getGuiScale()); |
| 1795 | Font font = getFont(); |
| 1796 | mbar.setFont(font); |
| 1797 | if (ij!=null) |
| 1798 | ij.setMenuBar(mbar); |
| 1799 | popup.setFont(font); |
| 1800 | } |
| 1801 | |
| 1802 | /** Adds a command to the ImageJ menu bar. */ |
| 1803 | public static void add(String menuPath, String plugin) { |
nothing calls this directly
no test coverage detected