return i
return -1
+def find_token2(lines, token, start, end = 0):
+ if end == 0:
+ end = len(lines)
+ for i in xrange(start, end):
+ x = string.split(lines[i])
+ if len(x) > 0 and x[0] == token:
+ return i
+ return -1
+
def find_tokens(lines, tokens, start, end = 0):
if end == 0:
end = len(lines)
return -1
def get_value(lines, token, start, end = 0):
- i = find_token(lines, token, start, end)
+ i = find_token2(lines, token, start, end)
if i == -1:
return ""
return string.split(lines[i])[1]
+def del_token(lines, token, i, j):
+ k = find_token2(lines, token, i, j)
+ if k == -1:
+ return j
+ else:
+ del lines[k]
+ return j-1
+
# Finds the paragraph that contains line i.
def get_paragraph(lines, i):
while 1:
i = find_tokens_backwards(lines, ["\\end_inset", "\\layout"], i)
if check_token(lines[i], "\\layout"):
return i
- count = 1
- while count > 0:
- i = find_tokens_backwards(lines, ["\\end_inset", "\\begin_inset"], i)
- if check_token(lines[i], "\\end_inset"):
- count = count+1
- else:
- count = count-1
- i = i-1
+ i = find_beginning_of_inset(lines, i)
+
+# Finds the paragraph after the paragraph that contains line i.
+def get_next_paragraph(lines, i):
+ while 1:
+ i = find_tokens(lines, ["\\begin_inset", "\\layout"], i)
+ if check_token(lines[i], "\\layout"):
+ return i
+ i = find_end_of_inset(lines, i)
+# Finds the matching \end_inset
+def find_end_of_inset(lines, i):
+ count = 1
+ while 1:
+ i = find_tokens(lines, ["\\end_inset", "\\begin_inset"], i+1)
+ if check_token(lines[i], "\\begin_inset"):
+ count = count+1
+ else:
+ count = count-1
+ if count == 0:
+ return i
+
+# Finds the matching \end_inset
+def find_beginning_of_inset(lines, i):
+ count = 1
+ while 1:
+ i = find_tokens_backwards(lines, ["\\end_inset", "\\begin_inset"], i-1)
+ if check_token(lines[i], "\\end_inset"):
+ count = count+1
+ else:
+ count = count-1
+ if count == 0:
+ return i
def is_nonempty_line(line):
- line = line[:-1]
return line != " "*len(line)
def find_nonempty_line(lines, start, end = 0):
return i
return -1
-
def set_comment(lines, number):
x = int(number)
if x < 216:
elif x < 220:
version = "1.1"
else:
- version = "1.2"
+ version = str((x-220)/10.0+1.2)
lines[0] = "#LyX %s created this file. For more info see http://www.lyx.org/" % version
if lines[1][0] == '#':