diff options
author | Dani Megert | 2004-05-14 10:03:27 +0000 |
---|---|---|
committer | Dani Megert | 2004-05-14 10:03:27 +0000 |
commit | 9f840f89dd9e6afd7d5afeba588c928f303caa2a (patch) | |
tree | 856ea6a92f844e38f7b4594486b77451b79c3795 /org.eclipse.ui.editors/plugin.xml | |
parent | 4c11fec25c6589b5aef45d0e847fbff9ccd37170 (diff) | |
download | eclipse.platform.text-9f840f89dd9e6afd7d5afeba588c928f303caa2a.tar.gz eclipse.platform.text-9f840f89dd9e6afd7d5afeba588c928f303caa2a.tar.xz eclipse.platform.text-9f840f89dd9e6afd7d5afeba588c928f303caa2a.zip |
Don't show quick diff annotations in vertical (annotation) ruler
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 7dd2baf2bc2..dc81036c369 100644 --- a/org.eclipse.ui.editors/plugin.xml +++ b/org.eclipse.ui.editors/plugin.xml @@ -507,6 +507,8 @@ textPreferenceValue="false" textPreferenceKey="changeIndication" overviewRulerPreferenceKey="changeIndicationInOverviewRuler" + verticalRulerPreferenceKey="changeIndicationInVerticalRuler" + verticalRulerPreferenceValue="false" includeOnPreferencePage="false"> </specification> <specification @@ -526,6 +528,8 @@ textPreferenceValue="false" textPreferenceKey="additionIndication" overviewRulerPreferenceKey="additionIndicationInOverviewRuler" + verticalRulerPreferenceKey="additionIndicationInVerticalRuler" + verticalRulerPreferenceValue="false" includeOnPreferencePage="false"> </specification> <specification @@ -545,6 +549,8 @@ textPreferenceValue="false" textPreferenceKey="deletionIndication" overviewRulerPreferenceKey="deletionIndicationInOverviewRuler" + verticalRulerPreferenceKey="deletionIndicationInVerticalRuler" + verticalRulerPreferenceValue="false" includeOnPreferencePage="false"> </specification> <specification |