public void redraw() { if (canvas != null && canvas.isDisposed() == false) { canvas.redraw(); xyGraph.repaint(); } }
/** Unhook outline viewer. */ protected void unhookOutlineViewer() { editor.getSelectionSynchronizer().removeViewer(getViewer()); FigureCanvas editor2 = editor.getEditor(); if (disposeListener != null && editor2 != null && !editor2.isDisposed()) editor2.removeDisposeListener(disposeListener); }