Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--plugins/org.eclipse.php.ui/plugin.xml2
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/org.eclipse.php.ui/plugin.xml b/plugins/org.eclipse.php.ui/plugin.xml
index 33001621c..0bec0b129 100644
--- a/plugins/org.eclipse.php.ui/plugin.xml
+++ b/plugins/org.eclipse.php.ui/plugin.xml
@@ -1130,6 +1130,8 @@
</key>
<key sequence="F3" commandId="org.eclipse.php.ui.edit.text.open.editor"
contextId="org.eclipse.php.ui.phpEditorScope" schemeId="org.eclipse.ui.defaultAcceleratorConfiguration" />
+ <key sequence="F3" commandId="org.eclipse.php.ui.edit.text.open.editor"
+ contextId="org.eclipse.php.ui.contexts.window" schemeId="org.eclipse.ui.defaultAcceleratorConfiguration" />
<!-- project -->
<!-- perspectives -->
<!-- views -->

Back to the top