327
327
// count the number of nodes and arcs selected
328
328
int nodeCount = 0, arcCount = 0, textCount = 0;
330
330
Highlighter highlighter = getHighlighter();
331
331
if (highlighter == null) {
332
332
fieldSelected.setText(" " + selectedMsg + " ");