merge heads
This commit is contained in:
commit
06e11ef374
1 changed files with 1 additions and 1 deletions
|
|
@ -264,7 +264,7 @@ var Editor =function(renderer, session) {
|
||||||
var newOptions = {
|
var newOptions = {
|
||||||
wrap: true,
|
wrap: true,
|
||||||
wholeWord: true,
|
wholeWord: true,
|
||||||
needle: needle,
|
needle: needle
|
||||||
};
|
};
|
||||||
|
|
||||||
var currentOptions = this.$search.getOptions();
|
var currentOptions = this.$search.getOptions();
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue