From ae1f5246e192f2b75fcdd1d454e306614ab7efb3 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 16 Apr 2020 22:19:41 +0200
Subject: Coqide: Apply style scheme and language to the three buffers.

It was previously only applied to the script buffer.
---
 ide/wg_MessageView.ml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'ide/wg_MessageView.ml')

diff --git a/ide/wg_MessageView.ml b/ide/wg_MessageView.ml
index b99e5f8069..9d97b01a7a 100644
--- a/ide/wg_MessageView.ml
+++ b/ide/wg_MessageView.ml
@@ -28,6 +28,7 @@ end
 class type message_view =
   object
     inherit GObj.widget
+    method source_buffer : GSourceView3.source_buffer
     method connect : message_view_signals
     method clear : unit
     method add : Pp.t -> unit
@@ -44,7 +45,9 @@ class type message_view =
 let message_view () : message_view =
   let buffer = GSourceView3.source_buffer
     ~highlight_matching_brackets:true
-    ~tag_table:Tags.Message.table ()
+    ~tag_table:Tags.Message.table
+    ?language:(lang_manager#language source_language#get)
+    ?style_scheme:(style_manager#style_scheme source_style#get) ()
   in
   let mark = buffer#create_mark ~left_gravity:false buffer#start_iter in
   let box = GPack.vbox () in
@@ -88,6 +91,8 @@ let message_view () : message_view =
 
     val push = new GUtil.signal ()
 
+    method source_buffer = buffer
+
     method connect =
       new message_view_signals_impl box#as_widget push
 
-- 
cgit v1.2.3