1. 2019-11-18 [5] [ jEdit-users ] Character encodings for files jedit-users Edward Diener 2. 2019-11-09 [1] [ jEdit-users ] jEdit - CtagsIngerface jedit-users mueller_ja