Jose' Matos <[EMAIL PROTECTED]> writes:
| Index: lyx_1_5.py
| ===================================================================
| --- lyx_1_5.py (revision 14537)
| +++ lyx_1_5.py (working copy)
| @@ -216,6 +216,15 @@
| i = i + 1
|
|
| +def convert_utf8(document):
| + i = find_token(document.header, "\\inputencoding", 0)
| + if i == -1:
| + document.header.append("\\inputencoding utf-8")
| + else:
| + document.header[i] = "\\inputencoding utf-8"
| + document.inputencoding = "utf-8"
| + document.encoding = "utf-8"
| +
IMHO we should drop \inputencoding from the fileformat when moving to
utf-8, it is not as if you have a choice...
--
Lgb
