public interface ElementLabelEditor
Modifier and Type | Field and Description |
---|---|
static ElementLabelEditor |
NETWORKEDITOR
The default network's element label editor.
|
static ElementLabelEditor |
TREEEDITOR
The default tree's element label editor.
|
Modifier and Type | Method and Description |
---|---|
void |
setLabel(Element element,
java.lang.String newLabel)
Sets a new label value for the given element.
|
static final ElementLabelEditor TREEEDITOR
static final ElementLabelEditor NETWORKEDITOR
void setLabel(Element element, java.lang.String newLabel)
element
- Element the element objectnewLabel
- String the new label string.Copyright © 2002 - 2010 Serva Software. All Rights Reserved.