[ jEdit-devel ] [ jedit-Feature Requests-1749475 ] ShortcutOptionPane: global table, Incremental Search/filter

[SourceForge.net <no...@so...>]

Feature Requests item #1749475, was opened at 2007-07-07 05:42
Message generated for change (Comment added) made by shlomy
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=350588&aid=1749475&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Alan Ezust (ezust)
Assigned to: Nobody/Anonymous (nobody)
Summary: ShortcutOptionPane: global table, Incremental Search/filter

Initial Comment:
In addition to being able select the ActionSet in the ShortcutOptions combobox, there should be a way for the user to show ALL actions in one table, and scroll through them, as well as filter them with an incremental search/filter textbox above the table.


----------------------------------------------------------------------

>Comment By: Shlomy Reinstein (shlomy)
Date: 2007-09-05 00:51

Message:
Logged In: YES 
user_id=1477607
Originator: NO

Attaching a patch that implements it.
File Added: 1749475.patch

----------------------------------------------------------------------

Comment By: Matthieu Casanova (kpouer)
Date: 2007-07-07 12:45

Message:
Logged In: YES 
user_id=285591
Originator: NO

In fact I think an incremental search filter should be added to all list
and tables in jEdit.
The VFS Browser has something like that, but it would be better if there
was a tooltip (probably using a Window to show what is typed

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=350588&aid=1749475&group_id=588