From 63a2894dfbcf0362e67c971ab233487f5e0f6227 Mon Sep 17 00:00:00 2001
From: charguer
Date: Tue, 8 Oct 2019 14:04:55 +0200
Subject: Fix #10842: incorrect handling of unicode input before space

---
 ide/wg_ScriptView.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'ide/wg_ScriptView.ml')

diff --git a/ide/wg_ScriptView.ml b/ide/wg_ScriptView.ml
index 279815d671..181418d3d8 100644
--- a/ide/wg_ScriptView.ml
+++ b/ide/wg_ScriptView.ml
@@ -408,10 +408,8 @@ object (self)
     | _ -> ()
 
   method apply_unicode_binding () =
-    (* Auxiliary method to reach the beginning of line or the
-        nearest space before the iterator. *)
     let rec get_line_start iter =
-      if iter#starts_line || Glib.Unichar.isspace iter#char then iter
+      if iter#starts_line then iter
       else get_line_start iter#backward_char
       in
     (* Main action *)
-- 
cgit v1.2.3