Replace hot-key markers with initials

Suggested in #1152 and mitigates #1499.

(cherry picked from commit 150d8c1)

src/gui/dialogs/preferences_dialog.cpp

@@ -813,7 +813,9 @@ listbox& preferences_dialog::setup_hotkey_list(window& window)
 	hotkey_list.clear();
 	visible_hotkeys_.clear();
 
-	std::string text_feature_on =  "<span color='#0f0'>" + _("&#9679;") + "</span>";
+	std::string text_game_feature_on = "<span color='#0f0'>" + _("game_initial^G") + "</span>";
+	std::string text_editor_feature_on = "<span color='#0f0'>" + _("editor_initial^E") + "</span>";
+	std::string text_title_feature_on = "<span color='#0f0'>" + _("title_initial^T") + "</span>";
 
 	for(const auto& hotkey_item : hotkey::get_hotkey_commands()) {
 		if(hotkey_item.hidden) {
@@ -830,11 +832,11 @@ listbox& preferences_dialog::setup_hotkey_list(window& window)
 		row_action = hotkey_item.description;
 		row_hotkey = hotkey::get_names(hotkey_item.command);
 
-		row_is_g = hotkey_item.scope[hotkey::SCOPE_GAME]      ? text_feature_on : "";
+		row_is_g = hotkey_item.scope[hotkey::SCOPE_GAME]      ? text_game_feature_on : "";
 		row_is_g_markup = "true";
-		row_is_e = hotkey_item.scope[hotkey::SCOPE_EDITOR]    ? text_feature_on : "";
+		row_is_e = hotkey_item.scope[hotkey::SCOPE_EDITOR]    ? text_editor_feature_on : "";
 		row_is_e_markup = "true";
-		row_is_t = hotkey_item.scope[hotkey::SCOPE_MAIN_MENU] ? text_feature_on : "";
+		row_is_t = hotkey_item.scope[hotkey::SCOPE_MAIN_MENU] ? text_title_feature_on : "";
 		row_is_t_markup = "true";
 
 		hotkey_list.add_row(row_data);