svghmi/ui.py
changeset 3880 89549813a6c1
parent 3818 e528b11a60cc
child 3891 0f375805097a
equal deleted inserted replaced
3879:17d0d1641090 3880:89549813a6c1
   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)