From: SourceForge.net <no...@so...> - 2006-08-24 19:20:22
|
Patches item #1546200, was opened at 2006-08-24 21:20 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=1546200&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: texteditor Group: None Status: Open Resolution: None Priority: 5 Submitted By: Joerg (spj) Assigned to: Nobody/Anonymous (nobody) Summary: Add filter to recent files menu Initial Comment: Add filter to recent files menu This patch helps to find a items in the recent "files menue", by typing the first letter of the filename in a new textfield in recent files menu. Files which are not matching are enabled in menue. Please add it to org/gjt/sp/jedit/menu/ RecentFilesProvider.java Joerg ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=300588&aid=1546200&group_id=588 |