(Font original)
| 534 | } |
| 535 | |
| 536 | private static boolean scaledFont(Font original) { |
| 537 | if (scaledMenu) { |
| 538 | if (SwingUtilities.isEventDispatchThread()) { |
| 539 | return scaleFontInUIManager(original); |
| 540 | } else { |
| 541 | var result = new AtomicBoolean(false); |
| 542 | |
| 543 | try { |
| 544 | SwingUtilities.invokeAndWait(() -> |
| 545 | result.set(scaleFontInUIManager(original))); |
| 546 | } catch (InterruptedException e) { |
| 547 | return false; |
| 548 | } catch (InvocationTargetException e) { |
| 549 | e.printStackTrace(); |
| 550 | return false; |
| 551 | } |
| 552 | |
| 553 | return result.get(); |
| 554 | } |
| 555 | } |
| 556 | |
| 557 | return false; |
| 558 | } |
| 559 | |
| 560 | private static synchronized boolean scaleFontInUIManager(Font original) { |
| 561 | var d = UIManager.getLookAndFeelDefaults(); |
no test coverage detected