1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-08 08:45:44 +02:00

support label decorator

This commit is contained in:
David Inglis 2002-11-20 21:16:00 +00:00
parent c35aafd192
commit 88455f3cd6
2 changed files with 8 additions and 1 deletions

View file

@ -1,3 +1,7 @@
2002-11-20 David Inglis
* src/.../internal/ui/cview/CView.java
Added support for label decorators
2002-11-20 David Inglis
* src/.../internal/ui/BuildConsoleManager.java
Only flush the console when buffer > 512 instead of every line.

View file

@ -86,6 +86,7 @@ import org.eclipse.ui.IWorkbenchActionConstants;
import org.eclipse.ui.IWorkbenchPage;
import org.eclipse.ui.IWorkbenchPart;
import org.eclipse.ui.PartInitException;
import org.eclipse.ui.PlatformUI;
import org.eclipse.ui.actions.AddBookmarkAction;
import org.eclipse.ui.actions.BuildAction;
import org.eclipse.ui.actions.CloseResourceAction;
@ -374,7 +375,9 @@ public class CView extends ViewPart implements IMenuListener, ISetSelectionTarge
boolean showCUChildren= CPluginPreferencePage.showCompilationUnitChildren();
viewer.setUseHashlookup (true);
viewer.setContentProvider(new CContentProvider (showCUChildren, true));
viewer.setLabelProvider (new StandardCElementLabelProvider ());
viewer.setLabelProvider (new DecoratingLabelProvider(
new StandardCElementLabelProvider (),
PlatformUI.getWorkbench().getDecoratorManager().getLabelDecorator()));
CUIPlugin.getDefault().getProblemMarkerManager().addListener(viewer);
CUIPlugin.getDefault().getPreferenceStore().addPropertyChangeListener(this);