User Activity

  • Posted a comment on ticket #1938 on jEdit

    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?

  • Posted a comment on ticket #1937 on jEdit

    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?

  • Posted a comment on ticket #1938 on jEdit

    Jedit window with the project open. We can see on the left that the root directory is shown.

  • Created ticket #1938 on jEdit

    Exception in ProjectViewer

  • Created ticket #1937 on jEdit

    ProjectViewer: Button "Choose" has no effect.

  • Created ticket #75 on JuffEd

    Setting "start" directory for opening files

  • Modified a comment on discussion Help on Ditto

    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

  • Posted a comment on discussion Help on Ditto

    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

View All

Personal Data

Username:
rovf
Joined:
2004-11-30 09:44:53

Projects

  • No projects to display.

Personal Tools

MongoDB Logo MongoDB