I installed JEdit (the Java Editor). The problem is that when I started it for the first time, it appeared it was lacking the welcome file, and now each time I launch it I get \"/doc/tips not found\". It seems that docs are present but not where jedit expects them to be. docs are in /usr/share/doc/packages/jedit/ but jedit expects them to be in /usr/share/jedit/doc/
I expect a fix for this (on openSuse 12.3, KDE desktop environment, jEdit 4.5.1
Thank you in advance,
Log in to post a comment.