Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2003-10-28 17:26:08 +0000
committerDani Megert2003-10-28 17:26:08 +0000
commit34072374a8514e2b5982d747d0b67b9cd1b2934c (patch)
tree6cca7e76e4981a880f249deda7bf093fe0cf7802
parenta320cdfe7b13d86ff31a7a9ef4903af0eb10da6c (diff)
downloadeclipse.platform.text-34072374a8514e2b5982d747d0b67b9cd1b2934c.tar.gz
eclipse.platform.text-34072374a8514e2b5982d747d0b67b9cd1b2934c.tar.xz
eclipse.platform.text-34072374a8514e2b5982d747d0b67b9cd1b2934c.zip
Disabled vertical ruler preference for quick diff annotationsv20031028
-rw-r--r--org.eclipse.ui.workbench.texteditor/plugin.xml6
1 files changed, 0 insertions, 6 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.xml b/org.eclipse.ui.workbench.texteditor/plugin.xml
index 28f9f582a..70be9abad 100644
--- a/org.eclipse.ui.workbench.texteditor/plugin.xml
+++ b/org.eclipse.ui.workbench.texteditor/plugin.xml
@@ -405,8 +405,6 @@
textPreferenceValue="false"
overviewRulerPreferenceKey="changeIndicationInOverviewRuler"
overviewRulerPreferenceValue="false"
- verticalRulerPreferenceKey="changeIndicationInVerticalRuler"
- verticalRulerPreferenceValue="true"
colorPreferenceKey="changeIndicationColor"
colorPreferenceValue="204,163,205"
presentationLayer="2"
@@ -426,8 +424,6 @@
textPreferenceValue="false"
overviewRulerPreferenceKey="additionIndicationInOverviewRuler"
overviewRulerPreferenceValue="false"
- verticalRulerPreferenceKey="additionIndicationInVerticalRuler"
- verticalRulerPreferenceValue="true"
colorPreferenceKey="additionIndicationColor"
colorPreferenceValue="188,188,222"
presentationLayer="2"
@@ -447,8 +443,6 @@
textPreferenceValue="false"
overviewRulerPreferenceKey="deletionIndicationInOverviewRuler"
overviewRulerPreferenceValue="false"
- verticalRulerPreferenceKey="deletionIndicationInVerticalRuler"
- verticalRulerPreferenceValue="true"
colorPreferenceKey="deletionIndicationColor"
colorPreferenceValue="0,0,0"
presentationLayer="2"

Back to the top