* Thuban/UI/tree.py (session_channels): New class constant with
all the session channels to subscribe to to update the tree
(SessionTreeCtrl.session_changed): Remember the session so that we
can unsubscribe properly. Use the new class constant to
unsubscribe from the old session and subscribe to the new one.
(SessionTreeCtrl.unsubscribe_all): New method to unsubscribe all
subscriptions of the SessionTreeCtrl.
(SessionTreeView.OnClose): Call the tree's unsubscribe_all method.
|
trunk/thuban/Thuban/UI/tree.py