diff options
| author | Dani Megert | 2007-03-15 10:04:12 +0000 |
|---|---|---|
| committer | Dani Megert | 2007-03-15 10:04:12 +0000 |
| commit | f52b23cbfc44141d9e5d43fe7615a937d9a36c67 (patch) | |
| tree | e98cbe97bf3b9f15f01d9c8876fb8b05712707c8 /org.eclipse.ui.workbench.texteditor/plugin.xml | |
| parent | 4139bfa9fb834915df07ac4484db39f47c05a6f0 (diff) | |
| download | eclipse.platform.text-f52b23cbfc44141d9e5d43fe7615a937d9a36c67.tar.gz eclipse.platform.text-f52b23cbfc44141d9e5d43fe7615a937d9a36c67.tar.xz eclipse.platform.text-f52b23cbfc44141d9e5d43fe7615a937d9a36c67.zip | |
Fixed bug 149519: [api][hovering] Push down F2 (Show Tooltip Description) feature for hovers
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.workbench.texteditor/plugin.xml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.xml b/org.eclipse.ui.workbench.texteditor/plugin.xml index c301b4876ff..ec91c1d638d 100644 --- a/org.eclipse.ui.workbench.texteditor/plugin.xml +++ b/org.eclipse.ui.workbench.texteditor/plugin.xml @@ -423,6 +423,12 @@ categoryId="org.eclipse.ui.category.textEditor" id="org.eclipse.ui.edit.text.toggleShowWhitespaceCharacters"> </command> + <command + name="%showToolTip.name" + description="%showToolTip.description" + categoryId="org.eclipse.ui.category.textEditor" + id="org.eclipse.ui.edit.text.showToolTip"> + </command> </extension> <extension @@ -751,6 +757,11 @@ sequence="M1+M2+INSERT" schemeId="org.eclipse.ui.defaultAcceleratorConfiguration"/> <key + sequence="F2" + contextId="org.eclipse.ui.textEditorScope" + commandId="org.eclipse.ui.edit.text.showToolTip" + schemeId="org.eclipse.ui.defaultAcceleratorConfiguration"/> + <key commandId="org.eclipse.ui.edit.text.hippieCompletion" contextId="org.eclipse.ui.textEditorScope" sequence="M3+/" |