diff options
| author | Dani Megert | 2009-03-30 09:37:37 +0000 |
|---|---|---|
| committer | Dani Megert | 2009-03-30 09:37:37 +0000 |
| commit | 2e35479cc04739157a9175574564de11e47a1e37 (patch) | |
| tree | 493d1a229811c97ad82e2e44a030cdd9677f9bd4 /org.eclipse.jface.text/projection/org/eclipse | |
| parent | fcfa976d81c812230676c0d079cea205f520bf65 (diff) | |
| download | eclipse.platform.text-2e35479cc04739157a9175574564de11e47a1e37.tar.gz eclipse.platform.text-2e35479cc04739157a9175574564de11e47a1e37.tar.xz eclipse.platform.text-2e35479cc04739157a9175574564de11e47a1e37.zip | |
Fixed bug 62712: [projection] Folding ruler doesn't take over java editor background colorv20090331-0800
Diffstat (limited to 'org.eclipse.jface.text/projection/org/eclipse')
| -rw-r--r-- | org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionRulerColumn.java | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionRulerColumn.java b/org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionRulerColumn.java index 17a385a7092..d268731f230 100644 --- a/org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionRulerColumn.java +++ b/org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionRulerColumn.java @@ -12,14 +12,12 @@ package org.eclipse.jface.text.source.projection; import java.util.Iterator; -import org.eclipse.swt.SWT; import org.eclipse.swt.events.MouseEvent; import org.eclipse.swt.events.MouseMoveListener; import org.eclipse.swt.events.MouseTrackAdapter; import org.eclipse.swt.graphics.Color; import org.eclipse.swt.widgets.Composite; import org.eclipse.swt.widgets.Control; -import org.eclipse.swt.widgets.Display; import org.eclipse.jface.text.BadLocationException; import org.eclipse.jface.text.IDocument; @@ -202,8 +200,7 @@ class ProjectionRulerColumn extends AnnotationRulerColumn { Control control= super.createControl(parentRuler, parentControl); // set background - Display display= parentControl.getDisplay(); - Color background= display.getSystemColor(SWT.COLOR_LIST_BACKGROUND); + Color background= getCachedTextViewer().getTextWidget().getBackground(); control.setBackground(background); // install hover listener |