(final Component component, final float scale)
| 239 | } |
| 240 | |
| 241 | private static void scaleComponent(final Component component, final float scale) { |
| 242 | Font font = component.getFont(); |
| 243 | if (font == null) |
| 244 | font = DEFAULT_FONT; |
| 245 | font = font.deriveFont(scale*font.getSize()); |
| 246 | component.setFont(font); |
| 247 | } |
| 248 | |
| 249 | @AstroImageJ(reason = "Replace default fonts", modified = true) |
| 250 | public static void scalePopupMenu(final PopupMenu popup) { |
no test coverage detected