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

increased the free space at the edges at auto-fit, closes #300

Browse Source
This commit is contained in:
hneemann 2019-08-12 10:03:49 +02:00
parent 350916d1db
commit cbe8af910c
2 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/main/java/de/neemann/digital/gui/components/CircuitComponent.java
View File

@ -937,8 +937,9 @@ public class CircuitComponent extends JComponent implements ChangedListener, Lib
AffineTransform newTrans = new AffineTransform();
if (gr.getMin() != null && getWidth() != 0 && getHeight() != 0) {
Vector delta = gr.getMax().sub(gr.getMin());
double sx = ((double) getWidth()) / (delta.x + Style.NORMAL.getThickness() * 4);
double sy = ((double) getHeight()) / (delta.y + Style.NORMAL.getThickness() * 6);
int pad = circuitScrollPanel.getBarWidth();
double sx = ((double) getWidth() - pad) / (delta.x + SIZE * 2);
double sy = ((double) getHeight() - pad) / (delta.y + SIZE * 2);
double s = Math.min(sx, sy);

6
src/main/java/de/neemann/digital/gui/components/CircuitScrollPanel.java
View File

@ -117,4 +117,10 @@ public class CircuitScrollPanel extends JPanel {
bar.setVisible(viewMin > circuitMin || viewMax < circuitMax);
}
/**
* @return the width of the bars
*/
int getBarWidth() {
return vertical.getPreferredSize().width;
}
}