From 90f0070a8b639b622501bfff36e3e44853f34042 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 11 Jan 2011 22:26:45 +0000 Subject: [PATCH] ctrl+pgUp/Down to navigate tabs --- matita/matita/matitaGui.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 = -- 2.39.2