Menu

[ jEdit-devel ] [ jedit-Bugs-3608045 ] MacOSX: jedit5 fonts look fuzzy


View entire thread