nl.cwi.sen1.gui.plugin.GraphConstants |
public static final java.lang.String |
COLOR |
"strokeColor" |
public static final java.lang.String |
EDGES |
"graph.edges" |
public static final java.lang.String |
FILLCOLOR |
"fillColor" |
public static final java.lang.String |
GRAPH |
"graph" |
public static final java.lang.String |
ID |
"id" |
public static final java.lang.String |
LABEL |
"label" |
public static final java.lang.String |
NODE_BACKGROUND |
"graph.node.background" |
public static final java.lang.String |
NODE_BORDER_HEIGHT |
"graph.node.border.height" |
public static final java.lang.String |
NODE_BORDER_WIDTH |
"graph.node.border.width" |
public static final java.lang.String |
NODE_FONT |
"graph.node.font" |
public static final java.lang.String |
NODE_FOREGROUND |
"graph.node.foreground" |
public static final java.lang.String |
NODE_HOVERED_BACKGROUND |
"graph.node.hovered.background" |
public static final java.lang.String |
NODE_HOVERED_FOREGROUND |
"graph.node.hovered.foreground" |
public static final java.lang.String |
NODE_SELECTED_BACKGROUND |
"graph.node.selected.background" |
public static final java.lang.String |
NODE_SELECTED_FOREGROUND |
"graph.node.selected.foreground" |
public static final java.lang.String |
NODES |
"graph.nodes" |
public static final java.lang.String |
SHAPE |
"shape" |
public static final java.lang.String |
TOOLTIP |
"tooltip" |