Gerd Bleher

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