The gtkshell GUI creator, gshterm, and ACE desktop implementation
