Global options screen behaviour

When setting global options, on hitting "OK" the window disappears. This is confusing because one doesn't know what to do next. Maybe it should instead switch to "Repositories"?

We could also change the main app layout such that the Repositories tab is the main interface and the options are secondary.