|
||||||||||
| 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 | |||||||||