← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.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/graphicElements/tapn/TimedTransitionComponent.java
90
90
        @Override
91
91
        public void showEditor() {
92
92
                // Build interface
93
 
                EscapableDialog guiDialog = new EscapableDialog(CreateGui.getApp(),
94
 
                                "Edit Transition", true);
 
93
                EscapableDialog guiDialog = new EscapableDialog(CreateGui.getApp(), "Edit Transition", true);
95
94
 
96
95
                Container contentPane = guiDialog.getContentPane();
97
96