/* * Delete a function. */ public void deletePlot(Function f) { f.cancel(); plotter.removePlot(f); int index = funcList.indexOf(f); innerFuncTab.remove(index); funcList.remove(index); map.remove(f); }