this should fix issue #531
authorThomasV <thomasv@gitorious>
Wed, 8 Jan 2014 17:24:30 +0000 (18:24 +0100)
committerThomasV <thomasv@gitorious>
Wed, 8 Jan 2014 17:24:30 +0000 (18:24 +0100)
commit5190cc03fd126cee641b3d482528a1950806ce47
tree5129253ac631dd2b6794adf2cc5f6c8bd3d2fdc7
parent7963f22a8059988f03e1ee9f116fe9ec46765ca3
this should fix issue #531
gui/qt/main_window.py