()
| 1040 | } |
| 1041 | |
| 1042 | public void resize() { |
| 1043 | double scale = Prefs.getGuiScale(); |
| 1044 | toolbar.init(); |
| 1045 | statusLine.setFont(new Font("SansSerif", Font.PLAIN, (int)(13*scale))); |
| 1046 | progressBar.init((int)(ProgressBar.WIDTH*scale), (int)(ProgressBar.HEIGHT*scale)); |
| 1047 | pack(); |
| 1048 | } |
| 1049 | |
| 1050 | @AstroImageJ(reason = "Read AIJ version from a resource, particularly for debuging dev versions.") |
| 1051 | private static String getAijVersion() { |
no test coverage detected