From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 25 Jul 2005 14:47:48 +0000 (+0000)
Subject: Code simplification.
X-Git-Tag: V_0_7_2~81
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ad18eee1d84855592ac039a7db11af2d7a8313a4;p=helm.git

Code simplification.
---

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);