ctrl+pgUp/Down to navigate tabs

[helm.git] / matita / matita / matitaGui.ml

diff --git a/matita/matita/matitaGui.ml b/matita/matita/matitaGui.ml
index f29fb44bcf19080d9d6de03c7aae40278aafea58..cb7c63bac3ab49aa0d01caf02597a9578cdf3ba9 100644 (file)
--- 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 =