key
key copied to clipboard
KeYProject
Improved Taclet Options
Idea
At the moment, there are two places where the taclet options can be set:
- The old dialog: "Options" -> "Show Taclet Options":
- The newer unified settings dialog: "Options" -> "Show Settings" -> "Taclet Options":
There should only a single place to set these options (the general settings dialog). However, this dialog could be improved. For example, you have to scroll quite a lot and need to expand the description if you want to read it.
In addition, if you open the dialog, always the first option of every category is selected. It would be a very good idea to select the option that is used in the currently selected proof.
