zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.
http://quantomatic.github.io
154 stars 22 forks source link

Save As for rules #70

Closed randomguy3 closed 12 years ago

randomguy3 commented 12 years ago

It should be possible to use "Save As" when editing a rule, which should ask for a rule name. If the rule exists, it should ask the user whether to overwrite it. Otherwise, it should create a new rule.