User Activity

  • Posted a comment on ticket #4151 on jEdit

    Additional information: I can open Plugins/ErrorList, but the error list is empty. When I do a Plugins/Plugins/Console, nothing opens.

  • Created ticket #4151 on jEdit

    jEdit stoppen working after OS update (garbled screen)

  • 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

View All

Personal Data

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

Projects

  • No projects to display.

Personal Tools