|
||||||||||
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 |
DiagramEditor.refreshBehavior
|
Methods in org.eclipse.graphiti.ui.editor that return DefaultRefreshBehavior | |
---|---|
protected DefaultRefreshBehavior |
DiagramEditor.createRefreshBehavior()
Creates the behavior extension that deals with the refresh handling. |
DefaultRefreshBehavior |
DiagramEditor.getRefreshBehavior()
Returns the instance of the refresh behavior that is used with this editor. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |