svghmi/ui.py
branchsvghmi
changeset 3274 16066300b254
parent 3265 f3cb352048b6
child 3279 5615e062a77d
equal deleted inserted replaced
3273:08a5a019bed2 3274:16066300b254
   288         self.hmitree_nodes = []
   288         self.hmitree_nodes = []
   289         self.selected_SVG = None
   289         self.selected_SVG = None
   290 
   290 
   291         self.Config = wx.ConfigBase.Get()
   291         self.Config = wx.ConfigBase.Get()
   292         self.libdir = self.RecallLibDir()
   292         self.libdir = self.RecallLibDir()
       
   293         if self.libdir is None:
       
   294             self.libdir = os.path.join(ScriptDirectory, "widgetlib") 
   293 
   295 
   294         self.picker_desc_splitter = wx.SplitterWindow(self, style=wx.SUNKEN_BORDER | wx.SP_3D)
   296         self.picker_desc_splitter = wx.SplitterWindow(self, style=wx.SUNKEN_BORDER | wx.SP_3D)
   295 
   297 
   296         self.picker_panel = wx.Panel(self.picker_desc_splitter)
   298         self.picker_panel = wx.Panel(self.picker_desc_splitter)
   297         self.picker_sizer = wx.FlexGridSizer(cols=1, hgap=0, rows=2, vgap=0)
   299         self.picker_sizer = wx.FlexGridSizer(cols=1, hgap=0, rows=2, vgap=0)