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