zxcalc / quantomatic

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

Simprocs could be "run once" or "run consistently" #160

Closed hmillerbakewell closed 6 years ago

hmillerbakewell commented 6 years ago

Simprocs could be set to run once and then stop (giving feedback) or run every time the user performs a manual rule application (again needing to give feedback)

akissinger commented 6 years ago

Not sure this is a good idea. It seems like things will get out of control very easily. What would be useful is a hotkey for "run last simproc". I could imagine you'd want to do something like "RULE - spider everything - RULE - spider everything - RULE - ....". Having a hotkey would make this go very smoothly.

hmillerbakewell commented 6 years ago

"Re-run last simproc" is now a menu item, and is currently bound to "ctrl+space"