edu.stanford.smi.protegex.widget.graph
Class ViewProperties
java.lang.Object
edu.stanford.smi.protegex.widget.graph.GraphProperties
edu.stanford.smi.protegex.widget.graph.ViewProperties
public class ViewProperties
- extends GraphProperties
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ViewProperties
public ViewProperties(String clsName,
PropertyList propertyList)
save
public void save()
- Specified by:
save
in class GraphProperties
getGridStyle
public String getGridStyle()
getGridStyleInt
public int getGridStyleInt()
setGridStyle
public void setGridStyle(String gridStyle)
getSnapOnMove
public String getSnapOnMove()
getSnapOnMoveInt
public int getSnapOnMoveInt()
setSnapOnMove
public void setSnapOnMove(String snapOnMove)
hasTextWrap
public boolean hasTextWrap()
setTextWrap
public void setTextWrap(boolean wrapping)
Submit a bug report or feature request