aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/find_phrase.mll
diff options
context:
space:
mode:
Diffstat (limited to 'ide/find_phrase.mll')
-rw-r--r--ide/find_phrase.mll6
1 files changed, 5 insertions, 1 deletions
diff --git a/ide/find_phrase.mll b/ide/find_phrase.mll
index 1e608bf75..677ca428f 100644
--- a/ide/find_phrase.mll
+++ b/ide/find_phrase.mll
@@ -28,7 +28,11 @@ rule next_phrase = parse
next_phrase lexbuf
}
| phrase_sep[' ''\n''\t''\r'] {
- length := !length + 2;
+ begin
+ if !Preferences.current.Preferences.lax_syntax
+ then length := !length + 1
+ else length := !length + 2
+ end;
Buffer.add_string buff (Lexing.lexeme lexbuf);
Buffer.contents buff}