← Back to branch summary

~tapaal-contributor/tapaal/autodetect-lens-check2

« back to all changes in this revision

Viewing changes to src/pipe/gui/RunVerification.java

merged in lp:~yrke/tapaal/evenMore-gui-cleanup doing GUI cleanup and fixing memory access check, about menu in Mac, exception in verification and reenabled quick draw

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/RunVerification.java
22
22
import javax.swing.table.TableModel;
23
23
import javax.swing.table.TableRowSorter;
24
24
 
25
 
import pipe.gui.GuiFrame.GUIMode;
26
25
import dk.aau.cs.Messenger;
27
26
import dk.aau.cs.model.tapn.simulation.TAPNNetworkTrace;
28
27
import dk.aau.cs.util.MemoryMonitor;
62
61
                                );
63
62
        
64
63
                                if (result.getTrace() != null) {
65
 
                                        CreateGui.getApp().setGUIMode(GUIMode.animation);
66
 
        
67
64
                                        CreateGui.getAnimator().setTrace(result.getTrace());
68
65
                                }
69
66
                        }