chiark / gitweb /
Do not try to hide the splash screen twice
authorYouness Alaoui <kakaroto@kakaroto.homelinux.net>
Sun, 28 Dec 2014 01:32:01 +0000 (20:32 -0500)
committerSteven Abadie <steven@alephobjects.com>
Tue, 30 Dec 2014 22:34:11 +0000 (15:34 -0700)
commit60f566c41116f63b8dcc4146e5f8ed920db01f09
treee02f7573726a299c12fc59931113dd2207317567
parenta6b8039db45dcb32e0acc5d5815a7e228d7c453f
Do not try to hide the splash screen twice
It's possible the splashscreen gets destroyed when it gets hidden,
which could cause the crash mentioned in issue #14. We set the splash
to None after we hide it as we don't need to retry hiding it after.
Cura/gui/app.py