GNOME Bugzilla – Bug 780848
Rename Run Output to Runtime Output
Last modified: 2017-04-06 20:25:49 UTC
I personally would suggest that "Runtime Output" would be a better titel for the "Run Output". What do you think?
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!!