Gnome used to have a polished interface for editing the positioning of top bar widgets circa 2001.