search

KeYProject / key

KeY Theorem Prover for Deductive Java Verification
https://key-project.org
Other
41 stars 24 forks source link

Improved Taclet Options #3414

Open WolframPfeifer opened 6 months ago

WolframPfeifer commented 6 months ago

Idea

At the moment, there are two places where the taclet options can be set:

  1. The old dialog: "Options" -> "Show Taclet Options": image
  2. The newer unified settings dialog: "Options" -> "Show Settings" -> "Taclet Options": image

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.