mirror of
https://github.com/hneemann/Digital.git
synced 2025-09-14 15:26:52 -04:00
fixed some checkstyle issues
This commit is contained in:
parent
da3f0b2b0e
commit
4d95d67745
@ -17,6 +17,9 @@ import java.awt.geom.Point2D;
|
|||||||
|
|
||||||
import static de.neemann.digital.draw.shapes.GenericShape.SIZE;
|
import static de.neemann.digital.draw.shapes.GenericShape.SIZE;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* A scroll panel used by the circuit component
|
||||||
|
*/
|
||||||
public class CircuitScrollPanel extends JPanel {
|
public class CircuitScrollPanel extends JPanel {
|
||||||
private static final int BORDER = SIZE * 10;
|
private static final int BORDER = SIZE * 10;
|
||||||
private final CircuitComponent circuitComponent;
|
private final CircuitComponent circuitComponent;
|
||||||
@ -25,6 +28,11 @@ public class CircuitScrollPanel extends JPanel {
|
|||||||
private GraphicMinMax graphicMinMax;
|
private GraphicMinMax graphicMinMax;
|
||||||
private AffineTransform transform;
|
private AffineTransform transform;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Creates a new instance
|
||||||
|
*
|
||||||
|
* @param circuitComponent the circuit component to use
|
||||||
|
*/
|
||||||
public CircuitScrollPanel(CircuitComponent circuitComponent) {
|
public CircuitScrollPanel(CircuitComponent circuitComponent) {
|
||||||
super(new BorderLayout());
|
super(new BorderLayout());
|
||||||
horizontal = new JScrollBar(JScrollBar.HORIZONTAL);
|
horizontal = new JScrollBar(JScrollBar.HORIZONTAL);
|
||||||
@ -68,6 +76,11 @@ public class CircuitScrollPanel extends JPanel {
|
|||||||
updateBars();
|
updateBars();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Updates the transformation
|
||||||
|
*
|
||||||
|
* @param transform the transform
|
||||||
|
*/
|
||||||
void transformChanged(AffineTransform transform) {
|
void transformChanged(AffineTransform transform) {
|
||||||
this.transform = transform;
|
this.transform = transform;
|
||||||
updateBars();
|
updateBars();
|
||||||
|
Loading…
x
Reference in New Issue
Block a user