Fixed bug when reopening the preferences window
commit1e282c625bbebcd17b4c6f7a74e8e8d5ad307f24
authorThomas Leonard <talex5@gmail.com>
Tue, 5 Jun 2012 15:03:43 +0000 (5 16:03 +0100)
committerThomas Leonard <talex5@gmail.com>
Tue, 5 Jun 2012 15:03:43 +0000 (5 16:03 +0100)
tree37e8beb84619b0efec5dd4bdede3bec9f6584fc1
parent3a6821b309c70f504b4d9c7f57fbf18522f4e8eb
Fixed bug when reopening the preferences window
zeroinstall/0launch-gui/preferences.py