Fix conversion of beamer block titles that end with a non-ERT inset.(cherry picked from commit 8b7d5276b8)

Conflicts:
	status.21x
This commit is contained in:
Juergen Spitzmueller 2014-04-27 09:44:43 +02:00 committed by Richard Heck
parent 680e42a6ff
commit 774ffef941

View File

@ -2912,7 +2912,16 @@ def convert_beamerblocks(document):
if i != -1: if i != -1:
if document.body[parbeg] == "\\begin_inset ERT": if document.body[parbeg] == "\\begin_inset ERT":
ertcontfirstline = parbeg + 5 ertcontfirstline = parbeg + 5
ertcontlastline = parend - 6 # Find the last ERT in this paragraph (which might also be the first)
lastertbeg = find_token_backwards(document.body, "\\begin_inset ERT", j)
if lastertbeg == -1:
document.warning("Last ERT not found!")
break
lastertend = find_end_of_inset(document.body, lastertbeg)
if lastertend == -1:
document.warning("End of last ERT not found!")
break
ertcontlastline = lastertend - 3
while True: while True:
if document.body[ertcontfirstline].startswith("<"): if document.body[ertcontfirstline].startswith("<"):
# This is an overlay specification # This is an overlay specification