mirror of
https://github.com/hneemann/Digital.git
synced 2025-09-12 22:36:02 -04:00
fixed a bug in the view favorites, see #335
This commit is contained in:
parent
63cbf36a15
commit
295da8aa9e
@ -283,7 +283,7 @@ public class CircuitComponent extends JComponent implements ChangedListener, Lib
|
|||||||
@Override
|
@Override
|
||||||
public void actionPerformed(ActionEvent actionEvent) {
|
public void actionPerformed(ActionEvent actionEvent) {
|
||||||
ElementAttributes attr = new ElementAttributes(getCircuit().getAttributes());
|
ElementAttributes attr = new ElementAttributes(getCircuit().getAttributes());
|
||||||
attr.set(key, transform);
|
attr.set(key, new AffineTransform(transform));
|
||||||
modify(new ModifyCircuitAttributes(attr));
|
modify(new ModifyCircuitAttributes(attr));
|
||||||
}
|
}
|
||||||
}.setAcceleratorCTRLplus((char) ('0' + i)).enableAcceleratorIn(this);
|
}.setAcceleratorCTRLplus((char) ('0' + i)).enableAcceleratorIn(this);
|
||||||
@ -292,7 +292,7 @@ public class CircuitComponent extends JComponent implements ChangedListener, Lib
|
|||||||
public void actionPerformed(ActionEvent actionEvent) {
|
public void actionPerformed(ActionEvent actionEvent) {
|
||||||
AffineTransform tr = getCircuit().getAttributes().get(key);
|
AffineTransform tr = getCircuit().getAttributes().get(key);
|
||||||
if (!tr.isIdentity()) {
|
if (!tr.isIdentity()) {
|
||||||
transform = tr;
|
transform = new AffineTransform(tr);
|
||||||
isManualScale = true;
|
isManualScale = true;
|
||||||
graphicHasChanged();
|
graphicHasChanged();
|
||||||
if (circuitScrollPanel != null)
|
if (circuitScrollPanel != null)
|
||||||
|
Loading…
x
Reference in New Issue
Block a user