search

increpare / PuzzleScript

Open Source HTML5 Puzzle Game Engine
MIT License
903 stars 159 forks source link

make search, search+replace, case insensitive #140

Closed increpare closed 10 years ago

mechturk commented 10 years ago

Is this an issue? Default codemirror behavior makes search case insensitive if the search string is lowercase, and only does case sensitive search if the user includes upper case characters. This kind of makes sense to me?

increpare commented 10 years ago

"search is case sensitive only if you use capital letters" is actually crazy unintuitive and weird for people who aren't used to it. also, puzzlescript is a case-insensitive language, so case-sensitive search/replace makes no sense

On Wed, Apr 16, 2014 at 10:13 PM, Dennis Au notifications@github.comwrote:

Is this an issue? Default codemirror behavior makes search case insensitive if the search string is lowercase, and only do case sensitive search if the user includes upper case characters. This kind of makes sense to me?

— Reply to this email directly or view it on GitHubhttps://github.com/increpare/PuzzleScript/issues/140#issuecomment-40653056 .