Am Montag, 14. August 2006 22:16 schrieb José Matos:
> On Monday 14 August 2006 20:07, Georg Baum wrote:
> > Am Montag, 14. August 2006 18:47 schrieb José Matos:
> > > I agree with Jürgen that there should be both system and document
> > > encodings.
> >
> > How should that work? IMO the general setting should only be used as
> > default value for new documents.
>
> Basically that is the purpose of what we have now, (the file input
> encoding):
> default -> system settings
> specific -> chosen encoding, document setting
Apart from the fact that default hardly works currently, and you forgot
auto:
auto -> language encoding, system (lib/languages) and document setting
It makes me always a bit nervous if a document depends on my user
preferences (I want to be able to typeset e.g. a czech document just fine,
and that would not be possible if I had e.g. latin1 as default)
> > > What is the value of any encoding different from auto (that is
> >> dependent on the language)? Is it worth to consider?
> >
> > I can't parse that sentence.
>
> Welcome to the club. :-)
> What I think that I meant is something like, is the current value of
input
> encoding relevant?
>
> That is, does it makes sense to have an encoding different from that
> associated with the document's language?
In most cases I don't think so, but latin9 instead of latin1 could make a
difference (if it worked). If we want to change this we should do it in a
different file format, since it does not depend on unicode.
Georg
