[anjuta] document-manager: Use <control>-PageUp/Down to jump between editors

[Johannes Schmid <jhs src gnome org>]

commit 102241fd4a0f1e856bd3a353857a40ad4ff3e8d5
Author: Johannes Schmid <jhs gnome org>
Date:   Mon Jan 24 18:00:33 2011 +0100

    document-manager: Use <control>-PageUp/Down to jump between editors
    
    Doesn't work yet, needs special casing of GtkSourceview in anjuta_app_key_press_event()

 plugins/document-manager/plugin.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/plugins/document-manager/plugin.c b/plugins/document-manager/plugin.c
index 714ee31..28cb79b 100644
--- a/plugins/document-manager/plugin.c
+++ b/plugins/document-manager/plugin.c
@@ -368,10 +368,10 @@ static GtkActionEntry actions_format[] = {
 static GtkActionEntry actions_documents[] = {
   {"ActionMenuDocuments", NULL, N_("_Documents"), NULL, NULL, NULL},
   { "ActionDocumentsPrevious", GTK_STOCK_GO_BACK, N_("Previous Document"),
-	"<control><alt>Page_Up", N_("Switch to previous document"),
+	"<control>Page_Up", N_("Switch to previous document"),
     G_CALLBACK (on_previous_document)},
   { "ActionDocumentsNext", GTK_STOCK_GO_FORWARD, N_("Next Document"),
-	"<control><alt>Page_Down", N_("Switch to next document"),
+	"<control>Page_Down", N_("Switch to next document"),
     G_CALLBACK (on_next_document)},
 };