Gnome @discuss.tchncs.de petsoi @discuss.tchncs.de 2mo ago Mid-December News | Gedit Technology blog gedit-text-editor.org Mid-December News | Gedit Technology blog