From a91b69a7be4047ac652a60a2fc2d33ad2f8b6a98 Mon Sep 17 00:00:00 2001
From: itrimble
Date: Tue, 4 Jan 2011 20:15:24 +0000
Subject: Bug 191494 - Unable to switch pages in faces config editor without
mouse
---
.../plugin.properties | 4 ++++
.../org.eclipse.jst.jsf.facesconfig.ui/plugin.xml | 25 ++++++++++++++++++++++
.../jst/jsf/facesconfig/ui/FacesConfigEditor.java | 8 +++++++
3 files changed, 37 insertions(+)
diff --git a/jsf/plugins/org.eclipse.jst.jsf.facesconfig.ui/plugin.properties b/jsf/plugins/org.eclipse.jst.jsf.facesconfig.ui/plugin.properties
index f8d99a513..04d71098c 100644
--- a/jsf/plugins/org.eclipse.jst.jsf.facesconfig.ui/plugin.properties
+++ b/jsf/plugins/org.eclipse.jst.jsf.facesconfig.ui/plugin.properties
@@ -58,3 +58,7 @@ cheatsheet.jsf.facesconfig.title=Faces Configuration Editor
#preference page
preferencepage.jsffacesconfigui.name=FacesConfig Editor
+
+# Key Binding Context
+editor.binding.context.name=In Faces Config Editor
+editor.binding.context.description=Key binding context when using the Faces Config Editor
diff --git a/jsf/plugins/org.eclipse.jst.jsf.facesconfig.ui/plugin.xml b/jsf/plugins/org.eclipse.jst.jsf.facesconfig.ui/plugin.xml
index be992240f..02e04939f 100644
--- a/jsf/plugins/org.eclipse.jst.jsf.facesconfig.ui/plugin.xml
+++ b/jsf/plugins/org.eclipse.jst.jsf.facesconfig.ui/plugin.xml
@@ -106,4 +106,29 @@
label="%propertyTab.general"/>
-->
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/jsf/plugins/org.eclipse.jst.jsf.facesconfig.ui/src/org/eclipse/jst/jsf/facesconfig/ui/FacesConfigEditor.java b/jsf/plugins/org.eclipse.jst.jsf.facesconfig.ui/src/org/eclipse/jst/jsf/facesconfig/ui/FacesConfigEditor.java
index 15db4c017..fd07e6ee2 100644
--- a/jsf/plugins/org.eclipse.jst.jsf.facesconfig.ui/src/org/eclipse/jst/jsf/facesconfig/ui/FacesConfigEditor.java
+++ b/jsf/plugins/org.eclipse.jst.jsf.facesconfig.ui/src/org/eclipse/jst/jsf/facesconfig/ui/FacesConfigEditor.java
@@ -91,6 +91,7 @@ import org.eclipse.ui.IFileEditorInput;
import org.eclipse.ui.PartInitException;
import org.eclipse.ui.PlatformUI;
import org.eclipse.ui.actions.WorkspaceModifyOperation;
+import org.eclipse.ui.contexts.IContextService;
import org.eclipse.ui.dialogs.SaveAsDialog;
import org.eclipse.ui.forms.editor.FormEditor;
import org.eclipse.ui.forms.editor.FormPage;
@@ -356,6 +357,13 @@ public class FacesConfigEditor extends FormEditor implements
return;
}
+ //Bug 191494 - Unable to switch pages in faces config editor without mouse
+ // Activate plugin context
+ IContextService contextService = (IContextService) getSite()
+ .getService(IContextService.class);
+ contextService
+ .activateContext("org.eclipse.jst.jsf.facesconfig.editorContext"); //$NON-NLS-1$
+
createActions();
ResourcesPlugin.getWorkspace().addResourceChangeListener(
--
cgit v1.2.3