diff options
Diffstat (limited to 'sources/simulator/VSSimulationPanel.java')
| -rw-r--r-- | sources/simulator/VSSimulationPanel.java | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/sources/simulator/VSSimulationPanel.java b/sources/simulator/VSSimulationPanel.java index ff96b7f..ec5acbc 100644 --- a/sources/simulator/VSSimulationPanel.java +++ b/sources/simulator/VSSimulationPanel.java @@ -650,17 +650,21 @@ public class VSSimulationPanel extends Canvas implements Runnable, MouseMotionLi public void showLamport(boolean showLamport) { this.showLamport = showLamport; - paint(); + if (isPaused) + paint(); } public void showVectorTime(boolean showVectorTime) { this.showVectorTime = showVectorTime; - paint(); + if (isPaused) + paint(); } public void isAntiAliased(boolean isAntiAliased) { this.isAntiAliased = isAntiAliased; this.isAntiAliasedChanged = true; + if (isPaused) + paint(); } public void sendMessage(VSMessage message) { |
