Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Merge branch 'devel' of github.com:ajaxorg/cloud9 into devel

  • Loading branch information...
commit e3cfcd17014dc01fccc07161c0ddfd6444965d09 2 parents c5beccd + 4d656fb
@fjakobs fjakobs authored
View
2  client/ext/quicksearch/quicksearch.js
@@ -189,7 +189,7 @@ return ext.register("ext/quicksearch/quicksearch", {
var options = {
backwards: backwards || false,
wrap: true,
- caseSensitive: true,
+ caseSensitive: false,
wholeWord: false,
regExp: false,
scope: Search.ALL
View
2  client/ext/searchreplace/searchreplace.js
@@ -139,7 +139,7 @@ return ext.register("ext/searchreplace/searchreplace", {
return {
backwards: chkSearchBackwards.checked,
wrap: chkWrapAround.checked,
- caseSensitive: !chkMatchCase.checked,
+ caseSensitive: chkMatchCase.checked,
wholeWord: chkWholeWords.checked,
regExp: chkRegEx.checked,
scope: chkSearchSelection.checked ? search.Search.SELECTION : search.Search.ALL
Please sign in to comment.
Something went wrong with that request. Please try again.