Bug fix from Robert de Bath: if the utf8_override setting is changed

in mid-session, it affects translation and hence display, so it should
be listed among the settings that require a redraw.

[originally from svn r9466]

diff --git a/unix/gtkwin.c b/unix/gtkwin.c
index 4b8a8dd8d1a1f9e72f6081f38ad023139fd0d5cb..616a69adb4b20042fc5b77b68ea4ecc10625de04 100644 (file)
--- a/unix/gtkwin.c
+++ b/unix/gtkwin.c
@@ -2989,6 +2989,8 @@ void change_settings_menuitem(GtkMenuItem *item, gpointer data)
                   conf_get_fontspec(newconf, CONF_wideboldfont)->name) ||
            strcmp(conf_get_str(oldconf, CONF_line_codepage),
                   conf_get_str(newconf, CONF_line_codepage)) ||
+           conf_get_int(oldconf, CONF_utf8_override) !=
+           conf_get_int(newconf, CONF_utf8_override) ||
            conf_get_int(oldconf, CONF_vtmode) !=
            conf_get_int(newconf, CONF_vtmode) ||
            conf_get_int(oldconf, CONF_shadowbold) !=