equal
deleted
inserted
replaced
259 hmitree_backup_path = os.path.join(buildpath, "hmitree.xml") |
259 hmitree_backup_path = os.path.join(buildpath, "hmitree.xml") |
260 if os.path.exists(hmitree_backup_path): |
260 if os.path.exists(hmitree_backup_path): |
261 hmitree_backup_file = open(hmitree_backup_path, 'rb') |
261 hmitree_backup_file = open(hmitree_backup_path, 'rb') |
262 hmi_tree_root = HMITreeNode.from_etree(etree.parse(hmitree_backup_file).getroot()) |
262 hmi_tree_root = HMITreeNode.from_etree(etree.parse(hmitree_backup_file).getroot()) |
263 |
263 |
264 return SVGHMI_UI(parent, Register_SVGHMI_UI_for_HMI_tree_updates) |
264 ret = SVGHMI_UI(parent, Register_SVGHMI_UI_for_HMI_tree_updates) |
|
265 |
|
266 on_hmitree_update(hmi_tree_root) |
|
267 |
|
268 return ret |
265 |
269 |
266 class SVGHMI(object): |
270 class SVGHMI(object): |
267 XSD = """<?xml version="1.0" encoding="utf-8" ?> |
271 XSD = """<?xml version="1.0" encoding="utf-8" ?> |
268 <xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema"> |
272 <xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema"> |
269 <xsd:element name="SVGHMI"> |
273 <xsd:element name="SVGHMI"> |