|
From: Adam P. <ap...@ar...> - 2019-10-22 18:06:11
|
Hi All, It appears that the problem was including the jedit.jar file in my .jedit/jars directory. If I don't copy that jar as part of my build script then I don't get the problem. I'd be eager to know if someone can replicate this. Background I had a strange bug that when I start jEdit with my plugin all my menus became unintelligible strings of special characters. all the best, Adam -- -------- Adam Pease http://www.ontologyportal.org http://www.adampease.org @apease_ontology on Twitter |