svghmi/ui.py
branchsvghmi
changeset 3253 9233e60a8317
parent 3251 6d4ff271ebf1
child 3255 07f10dc95d2f
equal deleted inserted replaced
3251:6d4ff271ebf1 3253:9233e60a8317
   158         root_display_name = _("Please select widget library directory") \
   158         root_display_name = _("Please select widget library directory") \
   159             if lib_dir is None else os.path.basename(lib_dir)
   159             if lib_dir is None else os.path.basename(lib_dir)
   160         self.root = self.AddRoot(root_display_name)
   160         self.root = self.AddRoot(root_display_name)
   161         self.SetPyData(self.root, None)
   161         self.SetPyData(self.root, None)
   162 
   162 
   163         if lib_dir is not None:
   163         if lib_dir is not None and os.path.exists(lib_dir):
   164             self._recurseTree(lib_dir, self.root, [])
   164             self._recurseTree(lib_dir, self.root, [])
   165             self.Expand(self.root)
   165             self.Expand(self.root)
   166 
   166 
   167         self.Thaw()
   167         self.Thaw()
   168 
   168