| org.eclipse.ui.internal.provisional.views.markers.MarkersTreeViewer
MarkersTreeViewer | public class MarkersTreeViewer extends TreeViewer (Code) | | The MarkersTreeViewer is a viewer that optimizes the expandToLevel
method.
since: 3.4 |
Constructor Summary | |
public | MarkersTreeViewer(Composite parent, int style) Create a new instance of the receiver. | public | MarkersTreeViewer(Composite parent) Create a new instance of the receiver. | public | MarkersTreeViewer(Tree tree) Create a new instance of the receiver. |
MarkersTreeViewer | public MarkersTreeViewer(Composite parent, int style)(Code) | | Create a new instance of the receiver.
Parameters: parent - Parameters: style - |
MarkersTreeViewer | public MarkersTreeViewer(Composite parent)(Code) | | Create a new instance of the receiver.
Parameters: parent - |
MarkersTreeViewer | public MarkersTreeViewer(Tree tree)(Code) | | Create a new instance of the receiver.
Parameters: tree - |
expandToLevel | public void expandToLevel(Object elementOrTreePath, int level)(Code) | | |
|
|