/**
* Returns the current visual style of this GraphView
*
* @return the style
*/
public VisualStyle getVisualStyle() {
if (style == null) style = VisualManager.getInstance().getDefaultVisualStyle();
return style;
}
VisualStyle getVisualStyle(boolean return_default) {
return getVisualStyle() != null
? getVisualStyle()
: VisualManager.getInstance().getDefaultVisualStyle();
}
