gtkui: Interface menu is no longer needed.
skins: Interface menu is no longer needed.