ProcGUI: more changes to merge with ProcGUISimpler
ProcGUISimpler: changes to merge with ProcGUI