← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/gui/TabContent.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/dk/aau/cs/gui/TabContent.java
105
105
                        zoomLevels.put(net, new Zoomer());
106
106
                }
107
107
                
108
 
                drawingSurface = new DrawingSurfaceImpl(new DataLayer(), this);
 
108
                drawingSurface = new DrawingSurfaceImpl(new DataLayer());
109
109
                drawingSurfaceScroller = new JScrollPane(drawingSurface);
110
110
                // make it less bad on XP
111
111
                drawingSurfaceScroller.setBorder(new BevelBorder(BevelBorder.LOWERED));