/// <summary> /// ... "Update" because the hotkey settings might change /// </summary> public void CreateOrUpdateMenuCommands() { UpdateMenuCommandShortcutKeyDisplayString(NavigateMenuCommands, CreateNavigateMenuCommands()); UpdateMenuCommandShortcutKeyDisplayString(ViewMenuCommands, CreateViewMenuCommands()); if (_revisionGrid != null) { // null when TranslationApp is started TriggerMenuChanged(); // trigger refresh _revisionGrid.SetShortcutKeys(); } return; void UpdateMenuCommandShortcutKeyDisplayString(IReadOnlyList <MenuCommand> targetList, IEnumerable <MenuCommand> sourceList) { foreach (var source in sourceList.Where(mc => !mc.IsSeparator)) { var target = targetList.Single(mc => !mc.IsSeparator && mc.Name == source.Name); target.ShortcutKeyDisplayString = source.ShortcutKeyDisplayString; } } }