diff options
| author | Markus Keller | 2010-02-24 19:05:41 +0000 |
|---|---|---|
| committer | Markus Keller | 2010-02-24 19:05:41 +0000 |
| commit | 7370b3e64604e2bbb1c2cb33930b1a509a7ba3a5 (patch) | |
| tree | c070eb497f34f9c691dafb5f6f21a949677911cf /org.eclipse.ui.editors/plugin.xml | |
| parent | f00a148c2607f4a04b840755c79a46d69b29e260 (diff) | |
| download | eclipse.platform.text-7370b3e64604e2bbb1c2cb33930b1a509a7ba3a5.tar.gz eclipse.platform.text-7370b3e64604e2bbb1c2cb33930b1a509a7ba3a5.tar.xz eclipse.platform.text-7370b3e64604e2bbb1c2cb33930b1a509a7ba3a5.zip | |
Bug 272172: [rulers][hovering] Add a command that allows to show the vertical ruler hover (patch from Deepak)
Diffstat (limited to 'org.eclipse.ui.editors/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.editors/plugin.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/org.eclipse.ui.editors/plugin.xml b/org.eclipse.ui.editors/plugin.xml index 082b3470af8..1037677e905 100644 --- a/org.eclipse.ui.editors/plugin.xml +++ b/org.eclipse.ui.editors/plugin.xml @@ -135,6 +135,12 @@ categoryId="org.eclipse.ui.category.textEditor" id="org.eclipse.ui.edit.text.showChangeRulerInformation"> </command> + <command + name="%command.showRulerAnnotationInformation.name" + description="%command.showRulerAnnotationInformation.description" + categoryId="org.eclipse.ui.category.textEditor" + id="org.eclipse.ui.edit.text.showRulerAnnotationInformation"> + </command> </extension> <extension |