← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/pipe/gui/widgets/WorkflowDialog.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/widgets/WorkflowDialog.java
58
58
import pipe.dataLayer.TAPNQuery.TraceOption;
59
59
import pipe.dataLayer.TAPNQuery.WorkflowMode;
60
60
import pipe.gui.*;
61
 
import pipe.gui.GuiFrame.GUIMode;
62
61
 
63
62
public class WorkflowDialog extends JDialog {
64
63
 
240
239
        private void switchToTrace(TAPNNetworkTrace trace){
241
240
                isInTraceMode = true;
242
241
                setVisible(false);
243
 
                CreateGui.getApp().setGUIMode(GUIMode.animation);
244
242
                CreateGui.getAnimator().setTrace(trace);
245
243
        }
246
244