It'd make sense to use the foot upstream, but I'm afraid it won't look well if the foot is still used as icon for the menubar/menu.
-- Make gnome-about.desktop themable https://launchpad.net/bugs/41468 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
