Re: Preferences, format change

[Kornel Benko]

Am Samstag, 23. März 2013 um 10:21:50, schrieb Kornel Benko <kor...@lyx.org>
> 
> This setting comes from
>         Tools->Preferences...->File Handling->Converters->
>                         Converter File Cache-> (Enabled)
>                         Maximum Age (in days)-> (170)
> 

Georg, I propose the attached.

        Kornel
diff --git a/lib/scripts/prefs2prefs_prefs.py b/lib/scripts/prefs2prefs_prefs.py
index 996f9ee..ad0ded8 100644
--- a/lib/scripts/prefs2prefs_prefs.py
+++ b/lib/scripts/prefs2prefs_prefs.py
@@ -239,6 +239,8 @@ def add_mime_types(line):
 		converted = converted + '       ""'
 	return (True, converted)
 
+re_converter = re.compile(r'^\\converter\s+', re.IGNORECASE)
+
 def split_pdf_format(line):
 	# strictly speaking, a new format would not require to bump the
 	# version number, but the old pdf format was hardcoded at several
@@ -259,7 +261,7 @@ def split_pdf_format(line):
 		if entries[1] == 'pdf':
 			converted = line + "\n" + entries[0] + ' pdf6 "' + entries[2] + '"'
 			return (True, converted)
-	elif line.lower().startswith("\\converter"):
+	elif re_converter.match(line):
 		entries = get_format(line)
 		# The only converter from pdf that is touched is pdf->eps:
 		# All other converters are likely meant for further processing on export.

signature.asc
Description: This is a digitally signed message part.