Additional information: I can open Plugins/ErrorList, but the error list is empty. When I do a Plugins/Plugins/Console, nothing opens.
jEdit stoppen working after OS update (garbled screen)
I think it is docked, because in the screenshot, you see that there is a tiny tab "Project Viewer" on the left of the edit area, and no other window is floating around. Also, as I wrote, I had clicked on "Open Project Viewer Dockable", so I guess it means that the viewer should be docked. How else can I check this?
You are right, my mistake. 25.02 is the Java version. jEdit is 5.7.0 . I found the Activity Log (in Utilities/Troubleshooting), but there is no "clear" button. How do I clear it?
Jedit window with the project open. We can see on the left that the root directory is shown.
Exception in ProjectViewer
ProjectViewer: Button "Choose" has no effect.
Setting "start" directory for opening files