(Font original)
| 558 | } |
| 559 | |
| 560 | private static synchronized boolean scaleFontInUIManager(Font original) { |
| 561 | var d = UIManager.getLookAndFeelDefaults(); |
| 562 | for (var key : d.keySet()) { |
| 563 | if (key != null && key.toString().endsWith(".font")) { |
| 564 | if (Objects.equals(d.get(key), original)) { |
| 565 | return true; |
| 566 | } |
| 567 | } |
| 568 | } |
| 569 | |
| 570 | var ud = UIManager.getDefaults(); |
| 571 | for (var key : ud.keySet()) { |
| 572 | if (key != null && key.toString().endsWith(".font")) { |
| 573 | if (Objects.equals(d.get(key), original)) { |
| 574 | return true; |
| 575 | } |
| 576 | } |
| 577 | } |
| 578 | |
| 579 | return false; |
| 580 | } |
| 581 | |
| 582 | @AstroImageJ(reason = "Scale frames") |
| 583 | private static ImageIcon scaleImageIcon(ImageIcon in, double factor) { |
no test coverage detected