[ jEdit-users ] Time to reintroduce JDK 1.2 font code?

[Slava P. <sp...@gj...>]

Hello everybody,

Now that JDK 1.3 is out and supports GraphicEnvironment.getFontList()
properly, should we re-introduce the code that allows any font to be
selected on Java 2?

Slava