sense id support

2020-10-12 01:27:36 -07:00
parent 300f90822c
commit a0758f5c11
2 changed files with 5 additions and 0 deletions
--- a/src/export.py
+++ b/src/export.py
@@ -114,6 +114,9 @@ def export_sense(doc, sense):
    sense_xml = doc.createElement("sense")
    sense_xml.appendChild(_export_label_list(doc, sense.labels))

+    if sense.id is not None:
+        sense_xml.setAttribute("id", sense.id)
+
    definition_list = doc.createElement("definitionList")
    sense_xml.appendChild(definition_list)