+
+def revert_tabularwidth(document):
+ i = 0
+ while True:
+ i = find_token(document.body, "\\begin_inset Tabular", i)
+ if i == -1:
+ return
+ j = find_end_of_inset(document.body, i)
+ if j == -1:
+ document.warning("Unable to find end of Tabular inset at line " + str(i))
+ i += 1
+ continue
+ i += 1
+ features = find_token(document.body, "<features", i, j)
+ if features == -1:
+ document.warning("Can't find any features in Tabular inset at line " + str(i))
+ i = j
+ continue
+ if document.body[features].find('alignment="tabularwidth"') != -1:
+ remove_option(document.body, features, 'tabularwidth')
+
+