[gnome-terminal] profile: editor: Repaint the table when Enable shortcuts is toggled

[Egmont Koblinger <egmontkob src gnome org>]

commit 26acb396d553fec019698247f9e0dde887abee46
Author: Egmont Koblinger <egmont gmail com>
Date:   Wed Jan 3 00:02:29 2018 +0100

    profile: editor: Repaint the table when Enable shortcuts is toggled
    
    https://bugzilla.gnome.org/show_bug.cgi?id=792139

 src/terminal-prefs.c |   11 +++++++++++
 1 files changed, 11 insertions(+), 0 deletions(-)
---
diff --git a/src/terminal-prefs.c b/src/terminal-prefs.c
index 8e59ca1..8df280d 100644
--- a/src/terminal-prefs.c
+++ b/src/terminal-prefs.c
@@ -436,6 +436,14 @@ profile_list_selection_changed_cb (GtkTreeSelection *selection,
 
 /* Keybindings tab */
 
+/* Make sure the treeview is repainted with the correct text color, see bug 792139. */
+static void
+shortcuts_button_toggled_cb (GtkWidget *widget,
+                             GtkTreeView *tree_view)
+{
+  gtk_widget_queue_draw (GTK_WIDGET (tree_view));
+}
+
 /* Encodings tab */
 
 /* misc */
@@ -561,6 +569,9 @@ terminal_prefs_show_preferences (const char *page)
                    "active",
                    G_SETTINGS_BIND_GET | G_SETTINGS_BIND_SET);
 
+  g_signal_connect (disable_shortcuts_button, "toggled",
+                    G_CALLBACK (shortcuts_button_toggled_cb), tree_view);
+
   terminal_accels_fill_treeview (tree_view, disable_shortcuts_button);
 
   /* Profiles tab */