On Monday 14 August 2006 12:11, Georg Baum wrote:
I agree with most of Georg's suggestion there is one detail I should note:
> +def revert_utf8(document):
> + i = find_token(document.header, "\\inputencoding", 0)
> + if i == -1:
> + document.header.append("\\inputencoding auto")
> + else:
> + document.header[i] = "\\inputencoding auto"
> + document.inputencoding = "auto"
> + document.encoding = document.get_encoding(document.language,
> document.inputencoding)
I am afraid but revert_utf8 will not be so simple. If I mix latin-1 and
latin-2 chars (an easy exercise now) how do we convert the resulting
document?
--
José Abílio
