X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGui.ml;h=cb7c63bac3ab49aa0d01caf02597a9578cdf3ba9;hb=90f0070a8b639b622501bfff36e3e44853f34042;hp=f29fb44bcf19080d9d6de03c7aae40278aafea58;hpb=9829f5885ee8cecab0ffcfcba5ef558fc976f601;p=helm.git

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 =