801802803804805806807808809810811
{ String name = getValue(Action.NAME).toString(); if (name.equalsIgnoreCase("selectAll")) { graph.selectAll(); } else if (name.equalsIgnoreCase("selectNone")) { graph.clearSelection(); }
802803804805806807808809810811812