[prev in list] [next in list] [prev in thread] [next in thread] 

List:       jedit-devel
Subject:    [ jEdit-devel ] [ jedit-Patches-1546200 ] Add filter to recent
From:       "SourceForge.net" <noreply () sourceforge ! net>
Date:       2006-11-25 19:59:03
Message-ID: E1Go3fz-0007wj-Ld () sc8-sf-web8 ! sourceforge ! net
[Download RAW message or body]

Patches item #1546200, was opened at 2006-08-24 12:20
Message generated for change (Comment added) made by ezust
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
Private: No
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

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

>Comment By: Alan Ezust (ezust)
Date: 2006-11-25 11:59

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

Could you please re-submit the patch with context?
"svn diff"
gives that by default.

It makes for a more readable patch.


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

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

-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys - and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
[prev in list] [next in list] [prev in thread] [next in thread]