Reorganise Preferences

[abrudz]

The options in the Preferences dialog are currently organised into neat tabs, except General, which is just a dump of everything else, and even as an Other section for the dump of the dump.

1. Rename "Windows" to "Trace/Edit", gaining these from the General tab:

   • Indentation
     • [the entire section]
   • From the Other section
     • Double click to edit
     • Show toolbar in editor/trace windows (this phrase can then be removed)
     • Include filename in editor title (this should only be active if using Floating windows)

2. Move "Show quit prompt" and "Connect on quit" to the Session section, thereby eliminating the Other section

3. Indent "Minimap render characters" (and remove the word "Minimap"; cf. "in methods" which is indented under "Auto-indent")

4. Move the Saved Responses tab to be a section under "Trace/Edit"

5.5.3842