# along with this program; if not, write to the Free Software
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
-from parser_tools import find_token, find_tokens
+import re
+from parser_tools import find_token, find_tokens, find_end_of_inset
from sys import stderr
+from string import replace, split
def add_end_layout(lines):
- begin_layout = "\\layout"
+ i = find_token(lines, '\\layout', 0)
- i = find_token(lines, begin_layout, 0)
if i == -1:
- write(stderr, "lyx2lyx: File with no paragraphs. ")
- lines[0:len(lines)] = []
return
- i = i + 1
+ i = i + 1
+ struct_stack = ["\\layout"]
while 1:
i = find_tokens(lines, ["\\begin_inset", "\\end_inset", "\\layout",
"\\begin_deeper", "\\end_deeper", "\\the_end"], i)
- lines[i:i] = ["\\end_layout"]
- i = i + 1
- i = find_token(lines, begin_layout, i)
+ token = split(lines[i])[0]
+
+ if token == "\\begin_inset":
+ struct_stack.append(token)
+ i = i + 1
+ continue
+
+ if token == "\\end_inset":
+ tail = struct_stack.pop()
+ if tail == "\\layout":
+ lines.insert(i,"\\end_layout")
+ i = i + 1
+ #Check if it is the correct tag
+ struct_stack.pop()
+ i = i + 1
+ continue
+
+ if token == "\\layout":
+ tail = struct_stack.pop()
+ if tail == token:
+ lines.insert(i,"\\end_layout")
+ i = i + 2
+ else:
+ struct_stack.append(tail)
+ i = i + 1
+ struct_stack.append(token)
+ continue
+
+ if token == "\\begin_deeper" or token == "\\end_deeper":
+ lines.insert(i,"\\end_layout")
+ i = i + 2
+ continue
+
+ #case \end_document
+ lines.insert(i, "\\end_layout")
+ return
+
+def layout2begin_layout(lines):
+ i = 0
+ while 1:
+ i = find_token(lines, '\\layout', i)
if i == -1:
return
+
+ lines[i] = replace(lines[i], '\\layout', '\\begin_layout')
i = i + 1
-
+
+def valignment_middle(lines, start, end):
+ for i in range(start, end):
+ if re.search('^<(column|cell) .*valignment="center".*>$', lines[i]):
+ lines[i] = replace(lines[i], 'valignment="center"', 'valignment="middle"')
+
+def table_valignment_middle(lines):
+ i = 0
+ while 1:
+ i = find_token(lines, '\\begin_inset Tabular', i)
+ if i == -1:
+ return
+ j = find_end_of_inset(lines, i + 1)
+ if j == -1:
+ #this should not happen
+ valignment_middle(lines, i + 1, len(lines))
+ return
+ valignment_middle(lines, i + 1, j)
+ i = j + 1
+
+def end_document(lines):
+ i = find_token(lines, "\\the_end", 0)
+ if i == -1:
+ lines.append("\\end_document")
+ return
+ lines[i] = "\\end_document"
+
def convert(header, body):
add_end_layout(body)
+ layout2begin_layout(body)
+ end_document(body)
+ table_valignment_middle(body)
if __name__ == "__main__":
pass