Hello everybody, I was just using the GNOME Terminal and came across a part in the settings menu that wasn't translated to German for some reason. I have attached a screen shot below.
I could provide a translation in a pull request.
Best regards, Felix