svghmi/ui.py
changeset 3594 30f7eade322f
parent 3499 72ee59ff959c
child 3609 51a3d6f39944
equal deleted inserted replaced
3593:122b1094b8e6 3594:30f7eade322f
   646         paths = defs.findall("path")
   646         paths = defs.findall("path")
   647         self.paths_box.Show(len(paths)!=0)
   647         self.paths_box.Show(len(paths)!=0)
   648         for path in paths:
   648         for path in paths:
   649             self.AddPathToSignature(path)
   649             self.AddPathToSignature(path)
   650 
   650 
   651         # # TODO DEAD CODE ?
       
   652         # for widget in widgets:
       
   653         #     widget_type = widget.get("type")
       
   654         #     for path in widget.iterchildren("path"):
       
   655         #         path_value = path.get("value")
       
   656         #         path_accepts = map(
       
   657         #             str.strip, path.get("accepts", '')[1:-1].split(','))
       
   658 
       
   659         self.main_panel.SetupScrolling(scroll_x=False)
   651         self.main_panel.SetupScrolling(scroll_x=False)
   660 
   652 
   661     def GetWidgetParams(self, _context):
   653     def GetWidgetParams(self, _context):
   662         args,paths = self.GenDnDSVGParams
   654         args,paths = self.GenDnDSVGParams
   663         root = etree.Element("params")
   655         root = etree.Element("params")