The new menu items are there in mainstream gnome-terminal's source (behind a configure flag; so they aren't added by Ubuntu). Hence they are translated (or not) according to the mainstream GNOME translators' work.
The new menu items are there in mainstream gnome-terminal's source (behind a configure flag; so they aren't added by Ubuntu). Hence they are translated (or not) according to the mainstream GNOME translators' work.