clean up and extend preferences dialog
|Reported by:||zenogantner||Owned by:|
Currently, the preferences dialog is a mess.
It could be cleaned up a bit.
- remove unnecessary configuration options like
1.1 "use panel order for Ctrl-Tab (not usage history)" - now can be set via keybindings editor
1.2 "default line ending" - would be the platform line ending; setting this to another value should be an advanced option
1.3 "methods order" - should be set directly in outline and function list windows - see #826
- re-group into logical sets of options (in particular the "Behaviour" tab)
- Have tooltips for each option that explain the option a bit more.
- Have context-sensitive "Help" button
Those suggestions are not meant to be absolute, so of course one could argue whether option A should be a preference option or an advanced option.