| public GetExtendedString ( string name ) : string | ||
| name | string | The name of the string as contained in the extended names section. |
| return | string | |
public string GetExtendedString(string name)
{
Debug.Assert(name != null);
string value;
return _extendedStrings.TryGetValue(name, out value) ?
value :
null;
}
private void AddKey(TermInfo.Database db, string extendedName, ConsoleKey key, bool shift, bool alt, bool control)
{
string keyFormat = db.GetExtendedString(extendedName);
if (!string.IsNullOrEmpty(keyFormat))
{
KeyFormatToConsoleKey[keyFormat] = new ConsoleKeyInfo('\0', key, shift, alt, control);
}
}
