From ad18eee1d84855592ac039a7db11af2d7a8313a4 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 25 Jul 2005 14:47:48 +0000 Subject: [PATCH] Code simplification. --- helm/matita/matitaGui.ml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml index 216dc9d5b..066d07cc5 100644 --- a/helm/matita/matitaGui.ml +++ b/helm/matita/matitaGui.ml @@ -355,9 +355,8 @@ class gui () = ~callback:(fun () -> ignore (source_view#buffer#delete_selection ()))); ignore(self#main#selectAllMenuItem#connect#activate ~callback:(fun () -> - source_buffer#move_mark `INSERT (source_buffer#get_iter `START); - source_buffer#move_mark `SEL_BOUND (source_buffer#get_iter `END) - )); + source_buffer#move_mark `INSERT source_buffer#start_iter; + source_buffer#move_mark `SEL_BOUND source_buffer#end_iter)); ignore(self#main#findReplMenuItem#connect#activate ~callback:show_find_Repl); ignore (findRepl#findEntry#connect#activate ~callback:find_forward); -- 2.39.2