* Thuban/UI/tree.py: We can now simply subscribe to the session's
CHANGED channel to be informed of changes.
(SessionTreeCtrl.session_channels): Not needed any longer.
(SessionTreeCtrl.unsubscribe_all, SessionTreeCtrl.session_changed):
Only have to (un)subscribe CHANGED
|