HeadLine plugin: more keyboard friendly

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

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2006-09-13

Created: 2006-09-13

Private: No

HeadLine plugin should work with arrow keys to select different news items.