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
Windows 10. If I exit Ditto, I don't get the message on the next start. When I shut down Windows, it doesn't say anything about Ditto. It looks as if Ditto doesn't get a shutdown signal. Actually, I'm running the portable version of Ditto; maybe this makes a difference. Here is a screenshot of the dialogue
Windows 10. If I exit Ditto, I don't get the message on the next start. When I shut down Windows, it doesn't say anything about Ditto. It looks as if Ditto doesn't get a shutdown signal. Actually, I'm running the portable version of Ditto; maybe this makes a difference. Here is a