← Back to branch summary

~tapaal-contributor/tapaal/change-export-batch-shortcut-1820012

« back to all changes in this revision

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

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2019-03-13 07:17:48 UTC
  • mfrom: (989 tapaal)
  • mto: This revision was merged to the branch mainline in revision 991.
  • Revision ID: kenneth@yrke.dk-20190313071748-fm6dc00yy27un3xd
Merged with trunk

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/GuiFrame.java
542
542
                                                        }
543
543
 
544
544
                                                        appView.getUndoManager().deleteSelection(appView.getSelectionObject().getSelection());
545
 
                                                        appView.getSelectionObject().deleteSelection();
546
545
                                                        appView.repaint();
547
546
                                                        CreateGui.getCurrentTab().network().buildConstraints();
548
547
                                                }
932
931
                netStatisticsAction = new GuiAction("Net statistics", "Shows information about the number of transitions, places, arcs, etc.", KeyStroke.getKeyStroke(KeyEvent.VK_I, shortcutkey)) {
933
932
                        @Override
934
933
                        public void actionPerformed(ActionEvent e) {
935
 
                                StatisticsPanel.showStatisticsPanel();
 
934
                                StatisticsPanel.showStatisticsPanel(appView.getModel().getStatistics());
936
935
                        }
937
936
                };
938
937
                toolsMenu.add(netStatisticsAction).setMnemonic('i');
1717
1716
 
1718
1717
                try {
1719
1718
 
1720
 
                        ModelLoader loader = new ModelLoader(tab.drawingSurface());
 
1719
                        ModelLoader loader = new ModelLoader();
1721
1720
                        LoadedModel loadedModel = loader.load(file);
1722
1721
 
1723
1722
                        tab.setNetwork(loadedModel.network(), loadedModel.templates());
1777
1776
 
1778
1777
                                LoadedModel loadedModel;
1779
1778
 
1780
 
                                PNMLoader loader = new PNMLoader(tab.drawingSurface());
 
1779
                                PNMLoader loader = new PNMLoader();
1781
1780
                                loadedModel = loader.load(file);
1782
1781
 
1783
1782