diff options
Diffstat (limited to 'ide/find_phrase.mll')
-rw-r--r-- | ide/find_phrase.mll | 6 |
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} |