Similar to hiding the side-bar, some users might like having the output window auto-hide as well.
This change adds a new setting to enable/disable automatically hiding the output window. The two settings are independent of each other.
NOTE: In order to debug these changes, don't forget to uncomment the prepublish, compile, and postinstall scripts in package.json.
Similar to hiding the side-bar, some users might like having the output window auto-hide as well. This change adds a new setting to enable/disable automatically hiding the output window. The two settings are independent of each other.
NOTE: In order to debug these changes, don't forget to uncomment the prepublish, compile, and postinstall scripts in package.json.