Improve user-friendlyness of settings
Created by: stephanemagnenat
We now have a setting dialog box, by there are still open user-friendlyness issues:
- The settings dialog is indirect: one must click on "Ok" to have the changes accepted. Maybe it would be easier only to have a "Close" button with settings being applied directly. For instance, it would be nice to see the keywords toolbar appearing and disappearing while one interacts with the dialog, because it eases to understand the option.
- The current "Settings" menu should be renamed into a "View" menu, placed after the "Edit" menu, containing all the show toggle options.
- I clicked "Show memory usage" in the settings but it did not got activated even though I clicked "Ok".