← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/pipe/gui/CreateGui.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/CreateGui.java
196
196
                while (tab.drawingSurface() == null) {
197
197
 
198
198
                        try {
199
 
                                tab.setDrawingSurface(new DrawingSurfaceImpl(tab.getModel(),
200
 
                                                tab));
 
199
                                tab.setDrawingSurface(new DrawingSurfaceImpl(tab.getModel()));
201
200
                        } catch (Exception e) {
202
201
                                e.printStackTrace();
203
202
                        }