Menu

[ jEdit-devel ] [ jedit-Patches-1687684 ] Improve encoding handling especially for UTF-16, UTF-32


View entire thread