the GUI manual