svghmi/hmi_tree.py
changeset 3381 3a0908b0319d
parent 3224 507dd7bc8cb5
child 3750 f62625418bff
child 3837 efe0b5b21842
equal deleted inserted replaced
3376:83ed4ea362db 3381:3a0908b0319d
   158             for c in self.children:
   158             for c in self.children:
   159                 c._hash(s)
   159                 c._hash(s)
   160 
   160 
   161 SPECIAL_NODES = [("HMI_ROOT", "HMI_NODE"),
   161 SPECIAL_NODES = [("HMI_ROOT", "HMI_NODE"),
   162                  ("heartbeat", "HMI_INT")]
   162                  ("heartbeat", "HMI_INT")]
   163                  # ("current_page", "HMI_STRING")])
       
   164 
   163