public void setPaintTool(int id) { org.eclipse.swt.examples.paint.PaintTool paintTool = (org.eclipse.swt.examples.paint.PaintTool) tools[id].data; paintSurface.setPaintSession(paintTool); updateToolSettings(); }