if mark_iter#offset < locked_iter_offset then
begin
source_view#buffer#move_mark `INSERT ~where:mark_iter;
- source_view#buffer#move_mark `SEL_BOUND ~where:mark_iter;
(MatitaScript.instance ())#goto `Cursor ();
end;
(* phase 4: we perform again the undo. This time we are sure that