← Back to branch summary

~tapaal-contributor/tapaal/weight-values-fix-1770637

« back to all changes in this revision

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

merged in branch lp:~tapaal-contributor/tapaal/Batch-export-PNML-XML-queries-1754675
adding batch export of files to PNML and XML

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/DrawingSurfaceImpl.java
73
73
        private MouseHandler mouseHandler;
74
74
        private NameGenerator nameGenerator = new NameGenerator();
75
75
 
76
 
        private TabContent tabContent;
77
 
 
78
 
        public DrawingSurfaceImpl(DataLayer dataLayer, TabContent parent) {
79
 
                this.tabContent = parent;
 
76
        public DrawingSurfaceImpl(DataLayer dataLayer) {
80
77
                guiModel = dataLayer;
81
78
                setLayout(null);
82
79
                setOpaque(true);
96
93
                undoManager = new UndoManager(this, guiModel, app);
97
94
        }
98
95
 
99
 
        public TabContent parent(){
100
 
                return tabContent;
101
 
        }
102
 
 
103
96
        public NameGenerator getNameGenerator() {
104
97
                return nameGenerator;
105
98
        }