Am Montag, dem 28.12.2020 um 11:26 +0000 schrieb nore...@gnome.org: > Es gab hierüber schonmal eine Diskussion über die »symbolischen > Symbole«, damals hatten wir uns auf »stilisierte Symbole« geeinigt > [1], so findet sich das jetzt auch in der Benutzerdokumentation [2]. > Könntest du das vielleicht ändern? > > @Christian: Könnten wir das vielleicht auch noch ins Wörterbuch > aufnehmen?
Guter Punkt, habe ich mit aufgenommen. -- <christian.kirb...@gmail.com> _______________________________________________ gnome-de mailing list gnome-de@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-de