Hi, > https://wiki.gnome.org/GnomeGoals/HeaderBars
gedit ist marked "to do" but green so either the colour is wrong or the "to do" :) _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
