21242125212621272128212921302131213221332134
* editing was not in progress */ public boolean stopEditing() { GraphUI graph = getUI(); if (graph != null) return graph.stopEditing(this); return false; } /** * Cancels the current editing session. Has no effect if the graph isn't
29442945294629472948294929502951295229532954
22442245224622472248224922502251225222532254