equal
deleted
inserted
replaced
112 |
112 |
113 class SVGUI_HMI(website.PLCHMI): |
113 class SVGUI_HMI(website.PLCHMI): |
114 jsClass = u"LiveSVGPage.LiveSVGWidget" |
114 jsClass = u"LiveSVGPage.LiveSVGWidget" |
115 |
115 |
116 docFactory = loaders.stan(tags.div(render=tags.directive('liveElement'))[ |
116 docFactory = loaders.stan(tags.div(render=tags.directive('liveElement'))[ |
117 tags.xml(loaders.xmlfile(os.path.join(NS.WorkingDir, svgfile))), |
117 tags.xml(loaders.xmlfile(os.path.join(NS.WorkingDir, svgfile))), |
118 ]) |
118 ]) |
119 |
119 |
120 def HMIinitialisation(self): |
120 def HMIinitialisation(self): |
121 gadgets = [] |
121 gadgets = [] |
122 for gadget in svguiWidgets.values(): |
122 for gadget in svguiWidgets.values(): |
123 gadgets.append(unicode(json.dumps(gadget, default=get_object_init_state, indent=2), 'ascii')) |
123 gadgets.append(unicode(json.dumps(gadget, default=get_object_init_state, indent=2), 'ascii')) |