■ ■ ■ ■ ■ ■
jadx-gui/src/main/java/jadx/gui/ui/MainWindow.java
| skipped 22 lines |
| 23 | 23 | | import java.awt.event.MouseEvent; |
| 24 | 24 | | import java.awt.event.WindowAdapter; |
| 25 | 25 | | import java.awt.event.WindowEvent; |
| | 26 | + | import java.awt.geom.AffineTransform; |
| 26 | 27 | | import java.io.InputStream; |
| 27 | 28 | | import java.net.URL; |
| 28 | 29 | | import java.nio.file.Files; |
| skipped 1394 lines |
| 1423 | 1424 | | } |
| 1424 | 1425 | | GraphicsDevice gd = GraphicsEnvironment.getLocalGraphicsEnvironment().getDefaultScreenDevice(); |
| 1425 | 1426 | | DisplayMode mode = gd.getDisplayMode(); |
| 1426 | | - | int w = mode.getWidth(); |
| 1427 | | - | int h = mode.getHeight(); |
| | 1427 | + | AffineTransform trans = gd.getDefaultConfiguration().getDefaultTransform(); |
| | 1428 | + | int w = (int) (mode.getWidth() / trans.getScaleX()); |
| | 1429 | + | int h = (int) (mode.getHeight() / trans.getScaleY()); |
| 1428 | 1430 | | setBounds((int) (w * BORDER_RATIO), (int) (h * BORDER_RATIO), |
| 1429 | 1431 | | (int) (w * WINDOW_RATIO), (int) (h * WINDOW_RATIO)); |
| 1430 | 1432 | | setLocationRelativeTo(null); |
| skipped 203 lines |
