Georg Baum wrote:
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!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.
Georg
