diff options
Diffstat (limited to 'ide/wg_ScriptView.ml')
| -rw-r--r-- | ide/wg_ScriptView.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide/wg_ScriptView.ml b/ide/wg_ScriptView.ml index a3f8aaab25..bfa9d6e0c5 100644 --- a/ide/wg_ScriptView.ml +++ b/ide/wg_ScriptView.ml @@ -408,13 +408,13 @@ object (self) | _ -> () method apply_unicode_binding () = - (** Auxiliary method to reach the beginning of line or the + (* 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 else get_line_start iter#backward_char in - (** Main action *) + (* Main action *) let buffer = self#buffer in let insert = buffer#get_iter `INSERT in let insert_mark = buffer#create_mark ~left_gravity:false insert in |