I can't speak as to what the best wording choice is for German and other languages, but Runtime does not seem accurate for en_US.

MonoDevelop uses "Application Output" here, and Eclipse uses "Console" if I'm understanding the screenshots correctly. "Application Output" doesn't seem so bad.

"Application Output" sound also great. Don't worry about the German translation, but the en_US is the basis for the translation ;-)

As I have never used git before I'd use this to to learn how to commit a patch.

(In reply to Peter Sonntag from comment #2)
> As I have never used git before I'd use this to to learn how to commit a
> patch.

git clone https://git.gnome.org/browse/gnome-builder.git
cd gnome-builder/plugins/terminal/
$EDITOR gb-terminal-workbench-addin.c
git add gb-terminal-workbench-addin.c
git commit

give it a short summary, starting with the plugin name like:

  terminal: change "Run Output" to "Application Output"

  a short summary here.

Then create a patch like:

git format-patch HEAD^

it will write 0001-terminal-....patch to the local directory. Attach that to this bug report.

Another option, in the future, is to use git-bz to simplify this a bunch. But best to try it the "manual" way first :)

Created attachment 349414 [details] [review]
Patch to change name

My first patch ;-)

Review of attachment 349414 [details] [review]:

Perfect, thanks!

Thanks for learning git to do this!

Thanks for teaching!!