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