From 66afc03a541e0f2f1a03271e0fed084053c31eb9 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=BCrgen=20Spitzm=C3=BCller?= Date: Mon, 17 Mar 2008 14:35:03 +0000 Subject: [PATCH] * lib/lyx2lyx/lyx_1_6.py: - fix convert_spaceinset routine. git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@23794 a592a061-630c-0410-9148-cb99ea01b6c8 --- lib/lyx2lyx/lyx_1_6.py | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/lib/lyx2lyx/lyx_1_6.py b/lib/lyx2lyx/lyx_1_6.py index cbb7288c89..33e7e60997 100644 --- a/lib/lyx2lyx/lyx_1_6.py +++ b/lib/lyx2lyx/lyx_1_6.py @@ -1391,13 +1391,10 @@ def remove_extra_embedded_files(document): def convert_spaceinset(document): " Convert '\\InsetSpace foo' to '\\begin_inset Space foo\n\\end_inset' " - i = 0 - while True: - i = find_token(document.body, "\\InsetSpace", i) - if i == -1: - return - document.body[i] = document.body[i].replace('\\InsetSpace', '\\begin_inset Space') - document.body[i] = document.body[i] + "\n\\end_inset" + for i in range(len(document.body)): + if re.search(r'\InsetSpace', document.body[i]): + document.body[i] = document.body[i].replace('\\InsetSpace', '\n\\begin_inset Space') + document.body[i] = document.body[i] + "\n\\end_inset" def revert_spaceinset(document): -- 2.39.2