diff options
| author | Mike Rennie | 2013-07-31 16:44:16 +0000 |
|---|---|---|
| committer | Mike Rennie | 2013-07-31 16:44:16 +0000 |
| commit | d975f27f12707ae6598994c5e3c6bd5e271d46c4 (patch) | |
| tree | c7d1b2b1a202e19c0c2ccaaff959f4dd25286f0d /org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/viewers/LabelRequestMonitor.java | |
| parent | 4fcde1ffaf34791bd406d47ce72d17e2801432a3 (diff) | |
| download | eclipse.platform.debug-d975f27f12707ae6598994c5e3c6bd5e271d46c4.tar.gz eclipse.platform.debug-d975f27f12707ae6598994c5e3c6bd5e271d46c4.tar.xz eclipse.platform.debug-d975f27f12707ae6598994c5e3c6bd5e271d46c4.zip | |
Bug 352626 - Move platform debug to Java 1.6 BREE
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/viewers/LabelRequestMonitor.java')
| -rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/viewers/LabelRequestMonitor.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/viewers/LabelRequestMonitor.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/viewers/LabelRequestMonitor.java index 152a33248..9785246aa 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/viewers/LabelRequestMonitor.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/viewers/LabelRequestMonitor.java @@ -65,6 +65,7 @@ class LabelRequestMonitor extends AsynchronousRequestMonitor implements ILabelRe * * @see org.eclipse.debug.ui.viewers.AsynchronousRequestMonitor#performUpdate() */ + @Override protected void performUpdate() { AsynchronousViewer viewer = getModel().getViewer(); Widget widget = viewer.findItem(getNode()); @@ -80,6 +81,7 @@ class LabelRequestMonitor extends AsynchronousRequestMonitor implements ILabelRe * * @see org.eclipse.debug.ui.viewers.AsynchronousRequestMonitor#contains(org.eclipse.debug.ui.viewers.AsynchronousRequestMonitor) */ + @Override protected boolean contains(AsynchronousRequestMonitor update) { return update instanceof LabelRequestMonitor && update.getNode() == getNode(); } @@ -89,6 +91,7 @@ class LabelRequestMonitor extends AsynchronousRequestMonitor implements ILabelRe * * @see org.eclipse.debug.ui.viewers.ILabelRequestMonitor#setLabel(java.lang.String) */ + @Override public void setLabels(String[] text) { fLabels = text; } @@ -98,6 +101,7 @@ class LabelRequestMonitor extends AsynchronousRequestMonitor implements ILabelRe * * @see org.eclipse.debug.ui.viewers.ILabelRequestMonitor#setFontData(org.eclipse.swt.graphics.FontData) */ + @Override public void setFontDatas(FontData[] fontData) { fFontDatas = fontData; } @@ -107,6 +111,7 @@ class LabelRequestMonitor extends AsynchronousRequestMonitor implements ILabelRe * * @see org.eclipse.debug.ui.viewers.ILabelRequestMonitor#setImageDescriptor(org.eclipse.jface.resource.ImageDescriptor) */ + @Override public void setImageDescriptors(ImageDescriptor[] image) { fImageDescriptors = image; } @@ -116,6 +121,7 @@ class LabelRequestMonitor extends AsynchronousRequestMonitor implements ILabelRe * * @see org.eclipse.debug.ui.viewers.ILabelRequestMonitor#setForeground(org.eclipse.swt.graphics.RGB) */ + @Override public void setForegrounds(RGB[] foreground) { fForegrounds = foreground; } @@ -125,6 +131,7 @@ class LabelRequestMonitor extends AsynchronousRequestMonitor implements ILabelRe * * @see org.eclipse.debug.ui.viewers.ILabelRequestMonitor#setBackground(org.eclipse.swt.graphics.RGB) */ + @Override public void setBackgrounds(RGB[] background) { fBackgrounds = background; } |