Lex Trotman - 2012-02-02

The message notebook shows a number of tabs:

status, compiler and messages can be displayed when needed because they are output only (indeed this should already happen if for example a compile fails)

but other tabs such as scribble, terminal and from plugins debugger and tasks are input and output and we can't know when the user wants to interact with them so having them autohide would be very annoying.