Splash screen was always created (but hidden), even when -nosplash or -min was provided on the command line. Fix this.
Also make the splash screen delete itself after use. No need to keep it in memory after initialization.
Reduces memory usage a bit and may improve Ubuntu window detection issues.
Splash screen was always created (but hidden), even when -nosplash or -min was
provided on the command line. Fix this.
Also make the splash screen delete itself after use. No need to keep it
in memory after initialization.
Reduces memory usage a bit and may improve Ubuntu window detection
issues.
Automatic sanity-testing: PASSED, see http://jenkins.bluematt.me/pull-tester/e49ecc9e720eb5979d99f63767c052cc9b886715 for binaries and test log. This test script verifies pulls every time they are updated. It, however, dies sometimes and fails to test properly. If you are waiting on a test, please check timestamps to verify that the test.log is moving at http://jenkins.bluematt.me/pull-tester/current/ Contact BlueMatt on freenode if something looks broken.