1. 2016-06-17 [ jEdit-devel ] [jedit:bugs] #3400 Umlaute in Courier jedit-dev Dale Anson 2. 2016-06-17 [ jEdit-devel ] [jedit:bugs] #3400 Umlaute in Courier jedit-dev Dale Anson