equal
deleted
inserted
replaced
715 self.Staging = WidgetLibBrowser(self, controler) |
715 self.Staging = WidgetLibBrowser(self, controler) |
716 self.SplitVertically(self.SelectionTree, self.Staging, 300) |
716 self.SplitVertically(self.SelectionTree, self.Staging, 300) |
717 register_for_HMI_tree_updates(weakref.ref(self)) |
717 register_for_HMI_tree_updates(weakref.ref(self)) |
718 |
718 |
719 def HMITreeUpdate(self, hmi_tree_root): |
719 def HMITreeUpdate(self, hmi_tree_root): |
720 self.SelectionTree.MakeTree(hmi_tree_root) |
720 if self: |
|
721 self.SelectionTree.MakeTree(hmi_tree_root) |
721 |
722 |
722 def OnHMITreeNodeSelection(self, hmitree_nodes): |
723 def OnHMITreeNodeSelection(self, hmitree_nodes): |
723 self.Staging.OnHMITreeNodeSelection(hmitree_nodes) |
724 self.Staging.OnHMITreeNodeSelection(hmitree_nodes) |