Georg Baum wrote:
Am Freitag, 22. Dezember 2006 12:14 schrieb Dov Feldstern:

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)?

If nobody objects this patch will go in after christmas.

This works for me (in the sense that I can now manually choose cp1255 from the encoding list --- no need for the hardcoded list). Thanks, Georg!

Georg

Reply via email to