ProcGUI: still merging the two GUIs