/** Un-registers the given ControllerEventListener from being a listener to this GUI. */ public void removeControllerListener(ControllerEventListener listener) { listeners.removeElement(listener); }