Comment # 7 on bug 845615 from Wolfgang Bauer

I just installed jedit on Leap 15.1, and the tips and docs are still missing.
jedit displays the error message "doc/tips directory not found" in the "Tip of
the Day" window shown at start, and trying to open a help topic in the help
browser results in an error dialog that the file couldn't be loaded.

I cannot reproduce the problem with the font size though when opening the API
docs (that are in the package jedit-apidocs), that was mentioned in comment#4
and comment#5.