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.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ide/wg_MessageView.mli')

diff --git a/ide/wg_MessageView.mli b/ide/wg_MessageView.mli
index 21c11b2754..054dd0e571 100644
--- a/ide/wg_MessageView.mli
+++ b/ide/wg_MessageView.mli
@@ -18,6 +18,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
-- 
cgit v1.2.3