remove gui selector from preferences. store last state
authorthomasv <thomasv@gitorious>
Mon, 7 Jan 2013 11:03:32 +0000 (12:03 +0100)
committerthomasv <thomasv@gitorious>
Mon, 7 Jan 2013 11:03:39 +0000 (12:03 +0100)
commit04ee4194bebb609f0d05b47191290c54a5bdc0de
treebdb46672b2543cc382d872f4175c3f2b1ccb8752
parent2d031013a524e1743a7bdc911be7fb34f7b6bc2e
remove gui selector from preferences. store last state
lib/gui_lite.py
lib/gui_qt.py