Hi! I've pushed a patch in gnome-terminal adding two new strings:
* GNOME Terminal is a terminal emulator application for accessing a UNIX shell environment which can be used to run programs available on your system. * It supports several profiles, multiple tabs and implements several keyboard shortcuts. Both strings are translatable, and belong to the new AppData file. Cheers!
_______________________________________________ gnome-doc-list mailing list gnome-doc-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-doc-list