private void stop_GUI() { RenderingManager.RemoveFromPostDrawQueue(3, new Callback(draw_GUI)); //stop the GUI gui_running = false; }