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

avoids unnecessary repaints

Browse Source
This commit is contained in:
hneemann 2017-03-31 16:55:59 +02:00
parent a0a74a7dab
commit c69f8a96a4
1 changed files with 10 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -544,26 +544,30 @@ public class CircuitComponent extends JComponent implements Circuit.ChangedListe
public void fitCircuit() { public void fitCircuit() {
GraphicMinMax gr = new GraphicMinMax(); GraphicMinMax gr = new GraphicMinMax();
circuit.drawTo(gr); circuit.drawTo(gr);
if (gr.getMin() != null && getWidth() != 0 && getHeight() != 0) {
AffineTransform newTrans = new AffineTransform();
if (gr.getMin() != null && getWidth() != 0 && getHeight() != 0) {
Vector delta = gr.getMax().sub(gr.getMin()); Vector delta = gr.getMax().sub(gr.getMin());
double sx = ((double) getWidth()) / (delta.x + Style.NORMAL.getThickness() * 2); double sx = ((double) getWidth()) / (delta.x + Style.NORMAL.getThickness() * 2);
double sy = ((double) getHeight()) / (delta.y + Style.NORMAL.getThickness() * 2); double sy = ((double) getHeight()) / (delta.y + Style.NORMAL.getThickness() * 2);
double s = Math.min(sx, sy); double s = Math.min(sx, sy);
transform.setToScale(s, s); // set Scaling
newTrans.setToScale(s, s); // set Scaling
Vector center = gr.getMin().add(gr.getMax()).div(2); Vector center = gr.getMin().add(gr.getMax()).div(2);
transform.translate(-center.x, -center.y); // move drawing center to (0,0) newTrans.translate(-center.x, -center.y); // move drawing center to (0,0)
Vector dif = new Vector(getWidth(), getHeight()).div(2); Vector dif = new Vector(getWidth(), getHeight()).div(2);
transform.translate(dif.x / s, dif.y / s); // move drawing center to frame center newTrans.translate(dif.x / s, dif.y / s); // move drawing center to frame center
isManualScale = false; isManualScale = false;
} else { } else {
transform = new AffineTransform();
isManualScale = true; isManualScale = true;
} }
hasChanged(); if (!newTrans.equals(transform)) {
transform = newTrans;
hasChanged();
}
} }
/** /**