PR# 13105 Console window is still called "External Output" in Preferences

Problem Report Summary
Submitter: peter_gummer
Category: EiffelStudio
Priority: High
Date: 2007/06/11
Class: Bug
Severity: Non-critical
Number: 13105
Release: 6.0.6.8996
Confidential: No
Status: Closed
Responsible: paulbates
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.4) Gecko/20070515 Firefox/2.0.0.4
Synopsis: Console window is still called "External Output" in Preferences

Description
You've renamed the External Output window to Console. I agree this is an improvement.

Tools | Preferences still calls it "External Output" under Shortcuts.

(By the way, Ctrl+Alt+X is no longer mnemonic.)
To Reproduce

										
Problem Report Interactions
From:paulbates    Date:2009/10/21    Status: Closed    Download   
This is fixed in rev#81209.

From:peter_gummer    Date:2007/06/12    Download   
Sounds good to me, Julian. I was just concerned about new users being confused. This fix would address that nicely.

From:juliant    Date:2007/06/12    Status: Analyzed    Download   
We can change this for the current release by providing an "English translation" which translates the preference entries for "External output" to "Console". For the next release we can change this on the source level.

That way we don't need to update the translation template file since we said that we don't change strings anymore so that the translators can finalize the translation.