/** Registers the given ProgramEventListener as a listener to this GUI. */ public void addProgramListener(ProgramEventListener listener) { listeners.add(listener); }