diff options
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 |