It is possibly a language issue and what a dock is and means. Hide Docks does just that, ToolBox (New Toolbox in Gimp 2.10) adds a new tab. Possibly improved by adding the "Tab" to the menu as in Gimp 2.10.
Some better indicator might be considered. There are icons at each corner for some actions, Does anyone ever use them ? Maybe have one of those change colour when Hide Docks is on.
Personally, I wish Gimp came with a default beginner mode, fewer tabs in the docks, no remember previous settings, Start Gimp up in a new session and it reverts to default. (I have done this to my desired setup since Gimp 2.8 came along) Once the user understands how Gimp works then use a regular mode.
Some better indicator might be considered. There are icons at each corner for some actions, Does anyone ever use them ? Maybe have one of those change colour when Hide Docks is on.
Personally, I wish Gimp came with a default beginner mode, fewer tabs in the docks, no remember previous settings, Start Gimp up in a new session and it reverts to default. (I have done this to my desired setup since Gimp 2.8 came along) Once the user understands how Gimp works then use a regular mode.