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

List:       jedit-users
Subject:    [ jEdit-users ] glob patterns: case-insensitive
From:       dAniel hAhler <genml () thequod ! de>
Date:       2004-06-26 21:37:22
Message-ID: 16510184514.20040626233722 () m04 ! thequod ! de
[Download RAW message or body]

Hello jedit-users,

I'd like to be able to make file name glob pattern case-insensitive.

IMHO it could be an option in "General Options: File System Browser:
General" and default to checked (at least for Win32).


-- 
shinE!
GnuPG/PGP key: http://thequod.de/danielhahler.asc

Random software tip: [***] The Bat! - EMail client
(http://www.ritlabs.com/the_bat/)



-------------------------------------------------------
This SF.Net email sponsored by Black Hat Briefings & Training.
Attend Black Hat Briefings & Training, Las Vegas July 24-29 - 
digital self defense, top technical experts, no vendor pitches, 
unmatched networking opportunities. Visit www.blackhat.com
-- 
-----------------------------------------------
jEdit Users' List
jEdit-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-users
[prev in list] [next in list] [prev in thread] [next in thread]