diff options
author | Markus Keller | 2009-05-13 15:57:14 +0000 |
---|---|---|
committer | Markus Keller | 2009-05-13 15:57:14 +0000 |
commit | 4ebc73c089c549f7163901fa410641f0317e0c00 (patch) | |
tree | a560c4bca753c4e460a7d5a64ecddbd6b154ee92 /org.eclipse.ui.editors/plugin.xml | |
parent | de9a5a3dbaec33b8979171af9c3034a012ec6767 (diff) | |
download | eclipse.platform.text-4ebc73c089c549f7163901fa410641f0317e0c00.tar.gz eclipse.platform.text-4ebc73c089c549f7163901fa410641f0317e0c00.tar.xz eclipse.platform.text-4ebc73c089c549f7163901fa410641f0317e0c00.zip |
Bug 243304: [rulers] Make QuickDiff ruler accessible
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 74befd11d36..082b3470af8 100644 --- a/org.eclipse.ui.editors/plugin.xml +++ b/org.eclipse.ui.editors/plugin.xml @@ -129,6 +129,12 @@ description="%command.revisions.idToggle.description" id="org.eclipse.ui.editors.revisions.id.toggle"> </command> + <command + name="%command.showChangeRulerInformation.name" + description="%command.showChangeRulerInformation.description" + categoryId="org.eclipse.ui.category.textEditor" + id="org.eclipse.ui.edit.text.showChangeRulerInformation"> + </command> </extension> <extension |