I've gone ahead with this change, since the redesign was merged into Nibbles master.
Michael _______________________________________________ [email protected] https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
