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)
committerYouness Alaoui <kakaroto@kakaroto.homelinux.net>
Sun, 28 Dec 2014 01:32:03 +0000 (20:32 -0500)
commitd06acf6eda1ea81fdc2d3919b0e5218f83ae22c5
tree23a131a71f36d0e02615d317dc56e3003843b36e
parentfb1c778d4b5fde47537d84d4ae08fa76b9d0fa0b
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