|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DefaultRefreshBehavior | |
---|---|
org.eclipse.graphiti.ui.editor |
Uses of DefaultRefreshBehavior in org.eclipse.graphiti.ui.editor |
---|
Fields in org.eclipse.graphiti.ui.editor declared as DefaultRefreshBehavior | |
---|---|
private DefaultRefreshBehavior |
DiagramBehavior.refreshBehavior
|
Methods in org.eclipse.graphiti.ui.editor that return DefaultRefreshBehavior | |
---|---|
protected DefaultRefreshBehavior |
DiagramBehavior.createRefreshBehavior()
Creates the behavior extension that deals with the refresh handling. |
DefaultRefreshBehavior |
DiagramBehavior.getRefreshBehavior()
Returns the instance of the refresh behavior that is used with this behavior. |
DefaultRefreshBehavior |
DiagramComposite.getRefreshBehavior()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |