@b4n commented on this pull request.
-Double-clicking hides all additional widgets
- Whether to call the View->Toggle All Additional Widgets command - when double-clicking on a notebook tab. -
Why removing this? The pref itself is not documented anywhere else, merely referenced "the prefs has to be on".