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 sh
As currently discussed on desktop-devel-list, we need to add a few strings
for accessibility names of UI elements. I have committed a first change but
probably more will follow.
Ciao
Paolo
___
gnome-doc-list mailing list
gnome-doc-list@gnome.org
ht