Rated 5 out of 5 stars

by pch on Oct. 18, 2010 · permalink

Floating menu is great as it no more resize and then redraw the main window when you show the menu.
For me setting hidemenubar.floating.marginTop = 7 just replace the navigation bar by the menu.
Or hidemenubar.floating.marginTop = 42 if you prefer to replace the personal bar.