jEdit / Plugin Patches / #176 Navigator popup key handling

jEdit is a programmer's text editor written in Java.

#176 Navigator popup key handling

Status: closed-accepted

Owner: Alan Ezust

Labels: None

Priority: 5

Updated: 2015-09-24

Created: 2015-08-25

Creator: Makarius

Private: No

This is Navigator 2.6 (trunk version 24018).

The NavHistoryPopup allows shortcuts 1-9, but using these keys makes it crash (NPE). The included patch should not be taken literally, it merely gives an idea from where to take the "list" object that would be otherwise uninitialized.

1 Attachments

a.patch

Discussion

Alan Ezust - 2015-09-24

We can make "list" package-private instead of public and it will work just as well.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Alan Ezust - 2015-09-24

rev 24091

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Alan Ezust - 2015-09-24

status: open --> closed-accepted

assigned_to: Alan Ezust
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Navigator popup key handling

jEdit is a programmer's text editor written in Java.

Searches

Help

#176 Navigator popup key handling

Discussion