Teams/GIMP/Design/gimp-ux#666: add option to enable/disable TAB key to show/hide toolbox
This patch aims to close Teams/GIMP/Design/gimp-ux#666
I just added an option in the "Toolbox" section to allow the user to decide whether to use or not the TAB key to hide/show the toolbox.
With the latest master my build stopped working, so I'm trying to fix it now. I built with a previous commit and this is the result
If someone would like to test it with the latest master, that would be great!
Any suggestion about the string to show in the options is welcome
