(String filename)
| 760 | |
| 761 | |
| 762 | public Image loadImageX(String filename) { |
| 763 | final int res = Toolkit.highResImages() ? 2 : 1; |
| 764 | return loadImage(filename + "-" + res + "x.png"); |
| 765 | } |
| 766 | |
| 767 | |
| 768 | // public EditorButton loadButton(String name) { |
no test coverage detected