diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-01-25 17:38:52 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-01-25 17:38:52 +0100 |
| commit | 3fa1bf32ec323ce03a7fa818a8daccb78b862ca6 (patch) | |
| tree | d6731fb3d09ce2320518146712ea346ac55d7d0c | |
| parent | d3934986fb2ff0d563a1a2a89ba5fbbefb53f0fd (diff) | |
Fixing bug #3947.
| -rw-r--r-- | ide/wg_Find.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/ide/wg_Find.ml b/ide/wg_Find.ml index b6f63a3ba..b6b1ea6bc 100644 --- a/ide/wg_Find.ml +++ b/ide/wg_Find.ml @@ -8,6 +8,8 @@ type mode = [ `FIND | `REPLACE ] +let b2c = Ideutils.byte_offset_to_char_offset + class finder name (view : GText.view) = let widget = Wg_Detachable.detachable @@ -85,8 +87,8 @@ class finder name (view : GText.view) = try let i = Str.search_backward regexp text (String.length text - 1) in let j = Str.match_end () in - Some(view#buffer#start_iter#forward_chars i, - view#buffer#start_iter#forward_chars j) + Some(view#buffer#start_iter#forward_chars (b2c text i), + view#buffer#start_iter#forward_chars (b2c text j)) with Not_found -> None method private forward_search starti = @@ -95,7 +97,7 @@ class finder name (view : GText.view) = try let i = Str.search_forward regexp text 0 in let j = Str.match_end () in - Some(starti#forward_chars i, starti#forward_chars j) + Some(starti#forward_chars (b2c text i), starti#forward_chars (b2c text j)) with Not_found -> None method replace_all () = |