Fix #699585, Add a "Refresh" menuitem to refresh the repository
Merge branch 'feature/fix-bug-699585' into develop
Merge branch 'master' into develop
Merge branch 'master' into develop
Merge branch 'master' into develop
Fix #699135, use the first element in the 'get_windows()' result

The result of 'get_windows()' is in most recently used order, so the
first element is the one we need.
Merge branch 'feature/fix-bug-699135' into develop