Main menu: Create new menu "Tools" and move some items from menu Start to there.
Main menu: add "..." where suitable, move Plugins settings menu item to bottom of menu, minor fix
Hide variable menu items during the transition from dashboard to repo browser and vice versa
main menu: move Refresh item from Start to Repository and Dashboard
main menu: fix F5 keyboard shortcut
fix variable/method naming
Add menu item Repository --> "Repository settings..." that jumps to local settings page
minor: remove an icon from the commit dialog working dir menu which looks the same but has different meaning
Merge pull request #1738 from feinstaub/topic_menu

Main menu fixes / improvements