Rated 5 out of 5 stars

Thanks a lot - I have based my own extension "Menu On Top" on your code, so this gave me a great head start. Personally I like the tools close to the window contents, but I absolutely despise having the menu there all the time; so thanks for a good tool idea with a great restartless execution.

This user has a previous review of this add-on.