Improved navigator

The navigator is nice, but it takes up a lot of space, especially on a modern laptop with 15" wide-screen (or smaller), when the toolbar, menu and the Windows taskbar already stealing a lot of space. One solution is to put the navigator in a small movable window, like the navigator in Sibelius. A smarter solution might be a navigator similar to the one we have now, but with the ability to hide itself or fade out when not used and pop up, when the mouse is moved to the navigator area. It is also faster, more elegant and intuitive than memorizing the F12 shortcut, and can be operated using only the mouse.