[no subject]

[Gavin D. Smith]

branch: master
commit 698794be458b0375292ebec40f7ab7d31b6b0d0a
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Thu Oct 31 14:55:20 2019 +0000

    no focus on toc button
---
 js/infog/main.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/infog/main.c b/js/infog/main.c
index 541d319abc..6c716a7eb3 100644
--- a/js/infog/main.c
+++ b/js/infog/main.c
@@ -826,6 +826,7 @@ build_gui (void)
   gtk_window_set_titlebar (GTK_WINDOW(main_window), GTK_WIDGET(header_bar));
 
   toc_button = gtk_button_new_with_mnemonic ("Hide _TOC");
+  gtk_widget_set_focus_on_click (toc_button, FALSE);
   g_signal_connect (toc_button, "clicked",
                     G_CALLBACK(toc_clicked_cb), NULL);
   gtk_header_bar_pack_start (header_bar, toc_button);