public class PublicElementsFilter extends java.lang.Object implements Filter
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ID |
EMPTY_ARRAY
Constructor and Description |
---|
PublicElementsFilter() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getName()
Returns a unique identifier for the action.
|
ActionPresentation |
getPresentation()
Returns the presentation for the action.
|
boolean |
isReverted()
Checks if the filter is applied when the corresponding toolbar button is pressed or released.
|
boolean |
isVisible(TreeElement treeNode)
Checks if the specified tree element is accepted by the filter.
|
public static final java.lang.String ID
public boolean isVisible(TreeElement treeNode)
Filter
public ActionPresentation getPresentation()
TreeAction
getPresentation
in interface TreeAction
ActionPresentationData(String, String, javax.swing.Icon)
public java.lang.String getName()
TreeAction
getName
in interface TreeAction
public boolean isReverted()
Filter
isReverted
in interface Filter