From 6f4a528dace978b1ad4ab9306b04fa110c5a2ac3 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 24 Apr 2020 22:32:11 +0200
Subject: CoqIDE: Revert overzealous application of language-based highlighting
 in #12169.

The parsing rules defining classes of lexemes in language
configuration expect a Coq document and are not relevant in the
message and proof window. Thus backtracking on this part of #12169.
Keeping the highlighting style though.
---
 ide/wg_MessageView.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'ide/wg_MessageView.ml')

diff --git a/ide/wg_MessageView.ml b/ide/wg_MessageView.ml
index 9d97b01a7a..6e22172d05 100644
--- a/ide/wg_MessageView.ml
+++ b/ide/wg_MessageView.ml
@@ -46,7 +46,6 @@ let message_view () : message_view =
   let buffer = GSourceView3.source_buffer
     ~highlight_matching_brackets:true
     ~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
-- 
cgit v1.2.3