Activity for Gerd Bleher
-
Gerd Bleher posted a comment on ticket #1814
I haven't seen this behavior for quite a while. I guess it's safe to clos the bug....
-
I disabled the Navigator therefore I don't know :-) I'll check it out after my vacations....
-
Thanks a lot! Gerd status: open --> closed-fixed assigned_to: Alexandre de Pellegrin...
-
In a state diagram, cannot connect start node with a state
-
jedit 5.2.0 running on Java 1.7.0_04 on Linux RHEL7 I'm able to enter a line number...
-
Navigator goto line doesn't do anything
1