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
This is fixed in rev#81209.
Sounds good to me, Julian. I was just concerned about new users being confused. This fix would address that nicely.
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.