-
Notifications
You must be signed in to change notification settings - Fork 21
Closed
Labels
FixedImplemented (though possibly still not delivered)Implemented (though possibly still not delivered)enhancement
Milestone
Description
[...] For the experienced user, however, the original editor is faster to use. So the use of he new editor should be optional.
I think, a respective checkbox could be added to the Structure Preferences (there is space enough at the bottom of the CASE area):
Originally posted by @codemanyak in #915
It might be more convenient and appropriate to offer a choice among three options (via radio buttons):
- always to use the specific editor
- to use it only for Case elements with none-empty branches
- never to use it.
The legacy preference should then be mapped as follows: ☑️ → 🔘 always , 🔲 → 🔘 never.
The new default might be 🔘 non-empty.
More flexible and less space-consuming might be a combo-box, however.
Metadata
Metadata
Assignees
Labels
FixedImplemented (though possibly still not delivered)Implemented (though possibly still not delivered)enhancement
