A notification system for GUIs