← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

Viewing changes to src/pipe/gui/widgets/QueryDialog.java

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/widgets/QueryDialog.java
133
133
        private static final String FASTEST_TRACE_STRING = "Fastest trace       ";
134
134
        private static final String SHARED = "Shared";
135
135
 
136
 
        private static final long serialVersionUID = 7852107237344005546L;
137
 
 
138
136
        public enum QueryDialogueOption {
139
137
                VerifyNow, Save, Export
140
138
        }
2770
2768
                }
2771
2769
        }
2772
2770
 
2773
 
        private class QueryConstructionUndoManager extends UndoManager {
2774
 
                private static final long serialVersionUID = 1L;
2775
 
 
 
2771
        private static class QueryConstructionUndoManager extends UndoManager {
2776
2772
                public UndoableEdit GetNextEditToUndo() {
2777
2773
                        return editToBeUndone();
2778
2774
                }
2783
2779
        }
2784
2780
 
2785
2781
        public class QueryConstructionEdit extends AbstractUndoableEdit {
2786
 
                private static final long serialVersionUID = 1L;
2787
 
 
2788
2782
                private TCTLAbstractProperty original;
2789
2783
                private TCTLAbstractProperty replacement;
2790
2784