We are using CONF release 5.5 since some weeks.
When editing pages there is a button "hide tools" in the editor on the right side (two arrows to top). The function is hiding the page's header to get more space on the screen.
In FireFox 35 we can see use that button. Also Ctrl+Shift+F is doing the job as marked in the tooltip.
In IE10 there is no such button and also the key combination is not working.
Why and how to get the button?