ui: make terminal window persistent
commit7427873433f08530db3b3d238e235de55392b2a3
authorArnaud Gardelein <agard@nostalgia-for-infinity.(none)>
Tue, 27 Oct 2009 21:00:15 +0000 (27 22:00 +0100)
committerArnaud Gardelein <agard@nostalgia-for-infinity.(none)>
Tue, 27 Oct 2009 21:00:15 +0000 (27 22:00 +0100)
treef7c060374eff2b34dc6a38fb4acff2d72ad12606
parentd19d683b9addef206153fc983ac99abdd61352b7
ui: make terminal window persistent

When user close it, it can be reinvoked by menu action 'Show terminal'
ui.py