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

added a double buffer to improve drawing speed when drawing wires or adding elements

Browse Source
This commit is contained in:
hneemann 2016-08-18 11:22:38 +02:00
parent d295e425c0
commit 92f76a7f7c
1 changed files with 12 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -41,6 +41,9 @@ import static de.neemann.digital.draw.shapes.GenericShape.SIZE2;
import static java.awt.event.InputEvent.CTRL_DOWN_MASK; import static java.awt.event.InputEvent.CTRL_DOWN_MASK;
/** /**
* Component which shows the circuit.
* ToDo: refactoring of repaint logic. Its to complex now.
*
* @author hneemann * @author hneemann
*/ */
public class CircuitComponent extends JComponent implements Circuit.ChangedListener { public class CircuitComponent extends JComponent implements Circuit.ChangedListener {
@ -341,16 +344,18 @@ public class CircuitComponent extends JComponent implements Circuit.ChangedListe
private BufferedImage buffer; private BufferedImage buffer;
private int highlightedNumPainted; private int highlightedPaintedCount;
@Override @Override
protected void paintComponent(Graphics g) { protected void paintComponent(Graphics g) {
super.paintComponent(g); super.paintComponent(g);
if (highLighted.size() != highlightedNumPainted) if (hasChanged
hasChanged = true; || buffer == null
|| getWidth() != buffer.getWidth()
|| getHeight() != buffer.getHeight()
|| highLighted.size() != highlightedPaintedCount) {
if (hasChanged || buffer == null || getWidth() != buffer.getWidth() || getHeight() != buffer.getHeight()) {
// long time = System.currentTimeMillis(); // long time = System.currentTimeMillis();
buffer = GraphicsEnvironment.getLocalGraphicsEnvironment().getDefaultScreenDevice().getDefaultConfiguration().createCompatibleImage(getWidth(), getHeight()); buffer = GraphicsEnvironment.getLocalGraphicsEnvironment().getDefaultScreenDevice().getDefaultConfiguration().createCompatibleImage(getWidth(), getHeight());
Graphics2D gr2 = buffer.createGraphics(); Graphics2D gr2 = buffer.createGraphics();
@ -360,7 +365,7 @@ public class CircuitComponent extends JComponent implements Circuit.ChangedListe
GraphicSwing gr = new GraphicSwing(gr2, (int) (2 / transform.getScaleX())); GraphicSwing gr = new GraphicSwing(gr2, (int) (2 / transform.getScaleX()));
circuit.drawTo(gr, highLighted, modelSync); circuit.drawTo(gr, highLighted, modelSync);
highlightedNumPainted = highLighted.size(); highlightedPaintedCount = highLighted.size();
hasChanged = false; hasChanged = false;
// System.out.println(System.currentTimeMillis() - time); // -agentlib:hprof=cpu=samples // System.out.println(System.currentTimeMillis() - time); // -agentlib:hprof=cpu=samples
} }
@ -382,6 +387,8 @@ public class CircuitComponent extends JComponent implements Circuit.ChangedListe
/** /**
* forces a immediately repaint * forces a immediately repaint
* Is called from {@link de.neemann.digital.gui.GuiModelObserver} if the models data has changed.
* Therefore the double buffer is invalidated.
*/ */
public void paintImmediately() { public void paintImmediately() {
hasChanged = true; hasChanged = true;