← Back to branch summary

~tapaal-contributor/tapaal/bug898117-query-modified-save

« back to all changes in this revision

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

  • Committer: Jiri Srba
  • Date: 2012-02-27 11:01:43 UTC
  • Revision ID: srba@cs.aau.dk-20120227110143-a3migb4vsj07hu0p
Whenever a query is saved or saved/verified, the net is marked as changed.
Also, when entering batch processing, the user is suggested to save all
unsaved nets, not only the active one.

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/widgets/QueryDialog.java
2065
2065
                                        // TODO make save
2066
2066
                                        // save();
2067
2067
                                        querySaved = true;
 
2068
                                        // Now if a query is saved, the net is marked as modified
 
2069
                                        CreateGui.getView().setNetChanged(true);
2068
2070
                                        exit();
2069
2071
                                }
2070
2072
                        });
2071
2073
                        saveAndVerifyButton.addActionListener(new ActionListener() {
2072
2074
                                public void actionPerformed(ActionEvent evt) {
2073
2075
                                        querySaved = true;
 
2076
                                        // Now if a query is saved and verified, the net is marked as modified
 
2077
                                        CreateGui.getView().setNetChanged(true);
2074
2078
                                        exit();
2075
2079
                                        TAPNQuery query = getQuery();
2076
2080