public void run () { switch (actionId) { case REFRESH: refreshState (); break; case UNMARK: unmarkError (); break; case ATTACH_DETACH: attachDetachAnnotations(ev.getDocument(), ev.isClosingDocument()); ev = null; break; } }
public void run () { switch (actionId) { case REFRESH: refreshState (); break; case UNMARK: unmarkError (); break; case ATTACH_DETACH: attachDetachAnnotations(ev.getDocument(), ev.isClosingDocument()); ev = null; break; } }
public void run() { switch (actionId) { case REFRESH: refreshState(); break; case UNMARK: unmarkError(); break; case ATTACH_DETACH: attachDetachAnnotations(ev.getDocument(), ev.isClosingDocument()); ev = null; break; } }