From: Claudio Sacerdoti Coen Date: Mon, 25 Jul 2005 13:49:50 +0000 (+0000) Subject: 1. select_all added to the Edit menu; no shortcut for it (since the standard X-Git-Tag: V_0_7_2~84 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=651f406cbaee8309ea80f1205696a355ff31cd2f;p=helm.git 1. select_all added to the Edit menu; no shortcut for it (since the standard one (Ctr+A) hides the Emacs-like binding "go to beginning of line") 2. added a few standard but missing shortcuts (Ctr-N for a new document, Shift+Ctr+S for save as) --- diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade index a99cb2db1..f29d4d66a 100644 --- a/helm/matita/matita.glade +++ b/helm/matita/matita.glade @@ -804,9 +804,10 @@ True _New True + - + True gtk-new 1 @@ -827,7 +828,7 @@ - + True gtk-open 1 @@ -848,7 +849,7 @@ - + True gtk-save 1 @@ -866,9 +867,10 @@ True Save _As ... True + - + True gtk-save-as 1 @@ -889,7 +891,7 @@ - + True gtk-execute 1 @@ -916,7 +918,7 @@ - + True gtk-quit 1 @@ -951,7 +953,7 @@ - + True gtk-undo 1 @@ -973,7 +975,7 @@ - + True gtk-redo 1 @@ -1000,7 +1002,7 @@ - + True gtk-cut 1 @@ -1021,7 +1023,7 @@ - + True gtk-copy 1 @@ -1042,7 +1044,7 @@ - + True gtk-paste 1 @@ -1062,7 +1064,7 @@ True - + True gtk-delete 1 @@ -1081,6 +1083,20 @@ + + + True + Select _All + True + + + + + + True + + + True @@ -1089,7 +1105,7 @@ - + True gtk-find-and-replace 1 @@ -1165,7 +1181,7 @@ - + True gtk-zoom-in 1 @@ -1187,7 +1203,7 @@ - + True gtk-zoom-out 1 @@ -1208,7 +1224,7 @@ - + True gtk-zoom-100 1 @@ -1260,7 +1276,7 @@ True - + True gtk-about 1 diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml index 7eaf239e1..216dc9d5b 100644 --- a/helm/matita/matitaGui.ml +++ b/helm/matita/matitaGui.ml @@ -353,6 +353,11 @@ class gui () = (MatitaScript.instance ())#clean_dirty_lock)); ignore(self#main#deleteMenuItem#connect#activate ~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) + )); ignore(self#main#findReplMenuItem#connect#activate ~callback:show_find_Repl); ignore (findRepl#findEntry#connect#activate ~callback:find_forward);