From b373967afc2ba95fdeb850c1af9c89637a2afbb4 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 19 Nov 2018 15:37:14 +0100
Subject: CoqIDE: Use modify_bg rather than modify_base to change background
 color.

The effect of modify_base is told to be widget-dependent. It uses to
change the background with gtk2 but not with gtk3. So we use the more
explicit modify_bg.
---
 ide/session.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/session.ml')

diff --git a/ide/session.ml b/ide/session.ml
index 22aaef399d..fd21515ca5 100644
--- a/ide/session.ml
+++ b/ide/session.ml
@@ -257,7 +257,7 @@ let make_table_widget ?sort cd cb =
       ~model:store ~packing:frame#add () in
   let () = data#set_headers_visible true in
   let () = data#set_headers_clickable true in
-  let refresh clr = data#misc#modify_base [`NORMAL, `NAME clr] in
+  let refresh clr = data#misc#modify_bg [`NORMAL, `NAME clr] in
   let _ = background_color#connect#changed ~callback:refresh in
   let _ = data#misc#connect#realize ~callback:(fun () -> refresh background_color#get) in
   let mk_rend c = GTree.cell_renderer_text [], ["text",c] in
-- 
cgit v1.2.3