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

adds a scroll panel

Browse Source
This commit is contained in:
hneemann 2019-06-20 23:10:53 +02:00
parent be433a4e51
commit b6cb9a6a4c
1 changed files with 85 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

85
src/main/java/de/neemann/digital/gui/components/CircuitPanel.java Normal file
View File

@ -0,0 +1,85 @@
/*
* Copyright (c) 2019 Helmut Neemann.
* Use of this source code is governed by the GPL v3 license
* that can be found in the LICENSE file.
*/
package de.neemann.digital.gui.components;
import de.neemann.digital.draw.graphics.GraphicMinMax;
import de.neemann.digital.draw.library.ElementLibrary;
import de.neemann.digital.draw.library.LibraryListener;
import de.neemann.digital.draw.shapes.ShapeFactory;
import de.neemann.digital.gui.Main;
import javax.swing.*;
import java.awt.*;
import java.awt.geom.AffineTransform;
import java.awt.geom.NoninvertibleTransformException;
import java.awt.geom.Point2D;
import static de.neemann.digital.draw.shapes.GenericShape.SIZE;
public class CircuitPanel extends JPanel {
private static final int BORDER = SIZE * 10;
private final CircuitComponent circuitComponent;
private final JScrollBar horizontal;
private final JScrollBar vertcal;
private GraphicMinMax graphicMinMax;
private AffineTransform transform;
public CircuitPanel(CircuitComponent circuitComponent) {
super(new BorderLayout());
horizontal = new JScrollBar(JScrollBar.HORIZONTAL);
vertcal = new JScrollBar(JScrollBar.VERTICAL);
this.circuitComponent = circuitComponent;
circuitComponent.setScrollPanel(this);
add(circuitComponent, BorderLayout.CENTER);
add(horizontal, BorderLayout.SOUTH);
add(vertcal, BorderLayout.EAST);
horizontal.addAdjustmentListener(adjustmentEvent -> {
if (adjustmentEvent.getValueIsAdjusting())
circuitComponent.translateCircuitToX(-adjustmentEvent.getValue() * transform.getScaleX());
});
vertcal.addAdjustmentListener(adjustmentEvent -> {
if (adjustmentEvent.getValueIsAdjusting())
circuitComponent.translateCircuitToY(-adjustmentEvent.getValue() * transform.getScaleY());
});
}
private GraphicMinMax getCircuitSize() {
if (graphicMinMax == null) {
graphicMinMax = new GraphicMinMax();
circuitComponent.getCircuit().drawTo(graphicMinMax);
}
return graphicMinMax;
}
void sizeChanged() {
graphicMinMax = null;
}
void transformChanged(AffineTransform transform) {
this.transform = transform;
GraphicMinMax gr = getCircuitSize();
Point2D min = new Point2D.Float();
Point2D max = new Point2D.Float();
try {
transform.inverseTransform(new Point2D.Float(0, 0), min);
transform.inverseTransform(new Point2D.Float(getWidth(), getHeight()), max);
int viewDx = (int) (max.getX() - min.getX());
int viewDy = (int) (max.getY() - min.getY());
int valueX = (int) min.getX();
int valueY = (int) min.getY();
horizontal.setValues(valueX, viewDx, gr.getMin().x - BORDER, gr.getMax().x + BORDER);
horizontal.setVisible(viewDx < gr.getMax().x - gr.getMin().x + 2 * BORDER);
vertcal.setValues(valueY, viewDy, gr.getMin().y - BORDER, gr.getMax().y + BORDER);
vertcal.setVisible(viewDy < gr.getMax().y - gr.getMin().y + 2 * BORDER);
} catch (NoninvertibleTransformException e) {
// can not happen! Scaling is never zero!
e.printStackTrace();
}
}
}