#1814 Navigator goto line doesn't do anything

[Gerd Bleher]

When having loaded the Navigator plugin, goto-line doesn't appear to do anything. There's no error either. The cursor just stays where it was before.

Unfortunately, the problem cannot be consistently reproduced.

[Dale Anson]

Details, please -- Navigator version, jEdit version, JDK version, OS.

[Dale Anson]

Also, does a dialog pop up? Are you able to enter a line number?

[Gerd Bleher]

jedit 5.2.0 running on Java 1.7.0_04 on Linux RHEL7

I'm able to enter a line number in the dialog but then nothing happens.

[Dale Anson]

I am unable to reproduce this. Are you still seeing the problem?

[Gerd Bleher]

I disabled the Navigator therefore I don't know :-) I'll check it out
after my vacations.

I am unable to reproduce this. Are you still seeing the problem?

---

[plugin-bugs:#1814] Navigator goto line doesn't do anything

Status: open
Group:
Created: Wed Mar 18, 2015 03:30 PM UTC by Gerd Bleher
Last Updated: Wed Mar 18, 2015 05:27 PM UTC
Owner: nobody

When having loaded the Navigator plugin, goto-line doesn't appear to do
anything. There's no error either. The cursor just stays where it was
before.

Unfortunately, the problem cannot be consistently reproduced.

---

Sent from sourceforge.net because you indicated interest in
https://sourceforge.net/p/jedit/plugin-bugs/1814/

To unsubscribe from further messages, please visit
https://sourceforge.net/auth/subscriptions/

[Gerd Bleher]

I haven't seen this behavior for quite a while. I guess it's safe to clos the bug.

Thanks,
Gerd