TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-24 04:42:51 -04:00
Code Issues Packages Projects Releases Wiki Activity

adds scaling to VGA window; closes #800

Browse Source
This commit is contained in:
hneemann 2021-07-30 18:17:49 +02:00
parent 3efe8f32ee
commit ff48fa0ac8
1 changed files with 12 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
src/main/java/de/neemann/digital/gui/components/graphics/VGADialog.java
View File

@ -54,17 +54,21 @@ public class VGADialog extends JDialog {
@Override @Override
protected void paintComponent(Graphics g) { protected void paintComponent(Graphics g) {
double sx = ((double) getWidth()) / image.getWidth(); if (getWidth() == image.getWidth() && getHeight() == image.getHeight()) {
double sy = ((double) getHeight()) / image.getHeight(); g.drawImage(image, 0, 0, null);
} else {
double sx = ((double) getWidth()) / image.getWidth();
double sy = ((double) getHeight()) / image.getHeight();
double s = Math.min(sx, sy); double s = Math.min(sx, sy);
int w = (int) Math.floor(image.getWidth() * s); int w = (int) Math.floor(image.getWidth() * s);
int h = (int) Math.floor(image.getHeight() * s); int h = (int) Math.floor(image.getHeight() * s);
int x = (getWidth() - w) / 2; int x = (getWidth() - w) / 2;
int y = (getHeight() - h) / 2; int y = (getHeight() - h) / 2;
g.drawImage(image, x, y, w, h, 0, 0, image.getWidth(), image.getHeight(), null); g.drawImage(image, x, y, w, h, 0, 0, image.getWidth(), image.getHeight(), null);
}
} }
} }
} }