+def obsolete_latex_title(document):
+ " Replace layout Latex_Title with Title."
+ body = document.body
+ i = 0
+ while 1:
+ i = find_token(body, '\\layout', i)
+ if i == -1:
+ return
+
+ if body[i].lower().find('latex_title') != -1:
+ body[i] = '\\layout Title'
+
+ i = i + 1
+
+
+def remove_inset_latex(document):
+ "Replace inset latex with layout LaTeX"
+ body = document.body
+
+ i = 0
+ while 1:
+ i = find_token(body, '\\begin_inset Latex', i)
+ if i == -1:
+ return
+
+ body[i] = body[i].replace('\\begin_inset Latex', '\\layout LaTeX')
+ i = find_token(body, '\\end_inset', i)
+ if i == -1:
+ #this should not happen
+ return
+ del body[i]
+
+
+supported_versions = ["0.12.0","0.12.1","0.12"]