anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2025-01-22 16:37:28 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Improve the add_to_preamble routine. Now we really check all the lines.

Browse Source 
This is crucial, because people often do put the same sort of comment as
the first line.


git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@36110 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Richard Heck 2010-11-05 14:59:11 +00:00
parent 2878afa5a7
commit 68ef5f207c
1 changed files with 18 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
lib/lyx2lyx/lyx2lyx_tools.py
View File

@ -22,12 +22,12 @@ import string
from parser_tools import find_token from parser_tools import find_token
from unicode_symbols import unicode_reps from unicode_symbols import unicode_reps
# This will accept either a list of lines or a single line. # This will accept either a list of lines or a single line.
# But it is bad practice to pass something with embedded # It is bad practice to pass something with embedded newlines,
# newlines, though we will handle that. # though we will handle that.
def add_to_preamble(document, text): def add_to_preamble(document, text):
""" Add text to the preamble if it is not already there. " Add text to the preamble if it is not already there. "
Only the first line is checked!"""
if not type(text) is list: if not type(text) is list:
# split on \n just in case # split on \n just in case
@ -35,7 +35,20 @@ def add_to_preamble(document, text):
# if there's no \n, too # if there's no \n, too
text = text.split('\n') text = text.split('\n')
if find_token(document.preamble, text[0], 0) != -1: i = 0
prelen = len(document.preamble)
while True:
i = find_token(document.preamble, text[0], i)
if i == -1:
break
# we need a perfect match
matched = True
for line in text:
if i >= prelen or line != document.preamble[i]:
matched = False
break
i += 1
if matched:
return return
document.preamble.extend(text) document.preamble.extend(text)