Feature Request: settings for case insensitive history searc

Post Reply
lex
Posts: 55
Joined: Fri May 14, 2010 2:28 pm

Feature Request: settings for case insensitive history searc

Post by lex » Thu May 20, 2010 9:31 pm

I wonder if it would be possible to introduce user setting to toggle case insensitive history search? (I do have only laptop keyboard, so I mapped many action to capital letters, which causing me troubles with searching items in history. Yes, I can hit caps lock, type capital letter and hit caps lock again, but that's not very smooth...)

User avatar
Heiko
Site Admin
Posts: 1548
Joined: Wed Mar 11, 2009 6:26 pm

Re: Feature Request: settings for case insensitive history searc

Post by Heiko » Thu May 20, 2010 11:23 pm

history search?

naftali
Posts: 138
Joined: Wed Jan 20, 2010 8:42 pm

Re: Feature Request: settings for case insensitive history searc

Post by naftali » Thu May 20, 2010 11:54 pm

methinks he means a main window buffer search. Vadi put up a script that does a case sensative search of the main buffer, you can download that and modify it to be case insensitive. Although this might be a cool feature, so long as it doesn't cause too much trouble or clutter anything up.

lex
Posts: 55
Joined: Fri May 14, 2010 2:28 pm

Re: Feature Request: settings for case insensitive history searc

Post by lex » Fri May 21, 2010 7:28 am

Sorry that I wasn't clear enough. I meant following: allow setting to enable/disable command completion (arrow up) based on case insensitive search.

For example: I will send 'Escape Storm' command to mud. Currently nothing is found when I will type 'e' and press 'arrow up'. With enabled case insensitive command completion I would do same (type 'e' and press 'arrow up') and Mudlet would find 'Escape Storm'.

Hope that is clear now.

Iocun
Posts: 174
Joined: Wed Dec 02, 2009 1:45 am

Re: Feature Request: settings for case insensitive history searc

Post by Iocun » Sat May 22, 2010 6:59 am

Sounds like a good idea.

User avatar
tsuujin
Posts: 695
Joined: Fri Feb 26, 2010 12:59 am
Location: California
Contact:

Re: Feature Request: settings for case insensitive history searc

Post by tsuujin » Sat May 22, 2010 4:04 pm

Yeah, I second this. It's an issue every once in a while for me too.

Post Reply

Who is online

Users browsing this forum: No registered users and 2 guests