From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 11 Jan 2011 22:26:45 +0000 (+0000)
Subject: ctrl+pgUp/Down to navigate tabs
X-Git-Tag: make_still_working~2591
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=90f0070a8b639b622501bfff36e3e44853f34042;p=helm.git

ctrl+pgUp/Down to navigate tabs
---

diff --git a/matita/matita/matitaGui.ml b/matita/matita/matitaGui.ml
index f29fb44bc..cb7c63bac 100644
--- a/matita/matita/matitaGui.ml
+++ b/matita/matita/matitaGui.ml
@@ -429,8 +429,8 @@ class gui () =
             toggle_win ~check:main#showCheckMenuItem check#checkWin;
 *)
         [ 
-          GdkKeysyms._Page_Up,   [`CONTROL], main#scriptNotebook#next_page;
-          GdkKeysyms._Page_Down, [`CONTROL], main#scriptNotebook#previous_page
+          GdkKeysyms._Page_Down, [`CONTROL], main#scriptNotebook#next_page;
+          GdkKeysyms._Page_Up,   [`CONTROL], main#scriptNotebook#previous_page
         ];
         (* about win *)
       let parse_txt_file file =