[ jEdit-devel ] [ jedit-Plugin Bugs-3522011 ] Highlight: "Hight Color" dose not work on startup


Thread view