metomi/rose — pull request #446 by benfitzpatrick (2013-02-12 12:16:14+00:00)
Title: rose config edit, rosie go - fix splashscreen

This tidies up errors from:
* keyboard interrupt of the splash screen
* the splash screen call to gtk.main_quit(), in the case where gtk.main() has stopped running (happens for large suites in config-edit).