equal
deleted
inserted
replaced
120 docFactory = loaders.stan([tags.raw(xhtml_header), |
120 docFactory = loaders.stan([tags.raw(xhtml_header), |
121 tags.html(xmlns="http://www.w3.org/1999/xhtml")[ |
121 tags.html(xmlns="http://www.w3.org/1999/xhtml")[ |
122 tags.head(render=tags.directive('liveglue')), |
122 tags.head(render=tags.directive('liveglue')), |
123 tags.body[ |
123 tags.body[ |
124 tags.div[ |
124 tags.div[ |
125 tags.div( render=tags.directive( "MainPage" )) |
125 tags.div(render=tags.directive("MainPage")) |
126 ]]]]) |
126 ]]]]) |
127 MainPage = MainPage() |
127 MainPage = MainPage() |
128 PLCHMI = PLCHMI |
128 PLCHMI = PLCHMI |
129 |
129 |
130 def __init__(self, plcState=False, *a, **kw): |
130 def __init__(self, plcState=False, *a, **kw): |