Translated gnome-terminal.ini