2003-07-28 10:13:56 +00:00
|
|
|
|
# This file is part of lyx2lyx
|
|
|
|
|
# Copyright (C) 2003 Jos<6F> Matos <jamatos@fep.up.pt>
|
|
|
|
|
#
|
|
|
|
|
# This program is free software; you can redistribute it and/or
|
|
|
|
|
# modify it under the terms of the GNU General Public License
|
|
|
|
|
# as published by the Free Software Foundation; either version 2
|
|
|
|
|
# of the License, or (at your option) any later version.
|
|
|
|
|
#
|
|
|
|
|
# This program is distributed in the hope that it will be useful,
|
|
|
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
# GNU General Public License for more details.
|
|
|
|
|
#
|
|
|
|
|
# You should have received a copy of the GNU General Public License
|
|
|
|
|
# along with this program; if not, write to the Free Software
|
|
|
|
|
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
|
|
|
|
|
|
2003-08-21 12:15:29 +00:00
|
|
|
|
import re
|
|
|
|
|
from parser_tools import find_token, find_tokens, find_end_of_inset
|
2003-07-28 10:13:56 +00:00
|
|
|
|
from sys import stderr
|
2003-09-03 17:40:58 +00:00
|
|
|
|
from string import replace, split
|
2003-07-28 10:13:56 +00:00
|
|
|
|
|
|
|
|
|
def add_end_layout(lines):
|
2003-07-28 13:09:39 +00:00
|
|
|
|
i = find_token(lines, '\\layout', 0)
|
2003-07-28 10:13:56 +00:00
|
|
|
|
|
|
|
|
|
if i == -1:
|
|
|
|
|
return
|
|
|
|
|
|
2003-07-28 13:09:39 +00:00
|
|
|
|
i = i + 1
|
|
|
|
|
struct_stack = ["\\layout"]
|
2003-07-28 10:13:56 +00:00
|
|
|
|
while 1:
|
|
|
|
|
i = find_tokens(lines, ["\\begin_inset", "\\end_inset", "\\layout",
|
|
|
|
|
"\\begin_deeper", "\\end_deeper", "\\the_end"], i)
|
|
|
|
|
|
2003-07-28 13:09:39 +00:00
|
|
|
|
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
|
2003-07-28 10:13:56 +00:00
|
|
|
|
|
2003-07-28 13:09:39 +00:00
|
|
|
|
#case \end_document
|
|
|
|
|
lines.insert(i, "\\end_layout")
|
|
|
|
|
return
|
|
|
|
|
|
2003-07-28 15:17:11 +00:00
|
|
|
|
def layout2begin_layout(lines):
|
|
|
|
|
i = 0
|
|
|
|
|
while 1:
|
|
|
|
|
i = find_token(lines, '\\layout', i)
|
|
|
|
|
if i == -1:
|
|
|
|
|
return
|
2003-07-28 13:09:39 +00:00
|
|
|
|
|
2003-08-21 12:15:29 +00:00
|
|
|
|
lines[i] = replace(lines[i], '\\layout', '\\begin_layout')
|
2003-07-28 15:17:11 +00:00
|
|
|
|
i = i + 1
|
2003-07-28 13:09:39 +00:00
|
|
|
|
|
2003-08-21 12:15:29 +00:00
|
|
|
|
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
|
|
|
|
|
|
2003-07-28 22:30:50 +00:00
|
|
|
|
def end_document(lines):
|
|
|
|
|
i = find_token(lines, "\\the_end", 0)
|
|
|
|
|
if i == -1:
|
|
|
|
|
lines.append("\\end_document")
|
|
|
|
|
return
|
|
|
|
|
lines[i] = "\\end_document"
|
2003-09-03 17:40:58 +00:00
|
|
|
|
|
2003-07-28 10:13:56 +00:00
|
|
|
|
def convert(header, body):
|
|
|
|
|
add_end_layout(body)
|
2003-07-28 15:17:11 +00:00
|
|
|
|
layout2begin_layout(body)
|
2003-07-28 22:30:50 +00:00
|
|
|
|
end_document(body)
|
2003-08-21 12:15:29 +00:00
|
|
|
|
table_valignment_middle(body)
|
2003-07-28 10:13:56 +00:00
|
|
|
|
|
|
|
|
|
if __name__ == "__main__":
|
|
|
|
|
pass
|