Enlarge pull dialog
Pull dialog supports --tags option
Keep settings tree item highlighted when not focused
restructure main menu: step 1
restructure main menu: step 2
restructure main menu: step 3
restructure main menu: step 4 (rename variables, fix Gerrit plugin dynamic menu retrieval)
restructure main menu: step 5 (separators, dashboard vs. repo)
Reorder Commands menu according to #1629
Remove unused "View changes" menu item (see https://github.com/gitextensions/gitextensions/pull/1447#issuecomment-11270791)
Dashboard: Move "Show current branch" from context menu to main Dashboard menu (Dashboard.Designer.cs: untabify)
Fix "Settings could not be opened from dashboard" (bug was introduced with 6db563731e965c14a73759fb43a6d47bd3813e84)
Reduce number of created pens and brushes by using system objects, and disposing existing ones.
Merge pull request #1651 from PombeirP/ReduceBrushAndPenUsage

Reduce brush and pen usage
FileStatusList item selection fixed after updating list
Fix grammar, capitalization in Settings dialog pages and translations.
ShowModelessForm
Merge branch 'mdonatas/settings-tree-node-highlight'
Merge pull request #1654 from vshih/master

Fix grammar, capitalization in Settings dialog pages and translations
Update french translation...

Conflicts:
	GitUI/Translation/Francais.xml