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 desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list
