Georg Baum wrote:
Am Freitag, 22. Dezember 2006 12:14 schrieb Dov Feldstern:
3) There's probably a better way than having to manually change the
encoding to cp1255. There's probably some way to automatically associate
the language with the encoding (I thought that's what "use language's
default encoding" is supposed to do, but obviously something's a little
off). Georg, can you help with this?
You are right, that is what "use language's default encoding" is supposed
to do. Don't you have cp1255 for hebrew in lib/languages?
I do, but it seems not to be taking effect for some reason.
Anyway, here is a patch that gets rid of the encoding list in the
preferences dialog. It also adds some other encodings I found in my tetex
installation. Do we still miss some (I know, arabic is missing)?
I'll check this patch and see if it helps; unfortunately, I won't be
able to get to it before tomorrow night...
Thanks!