/** Destroys this core's shader program and any other GL resources it maintains. */ public void destroy() { prog.destroy(); }
/** Destroys this core's shader program and any other GL resources it maintains. */ public void destroy() { prog.destroy(); }