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/coqide.ml         | 5 +----
 ide/wg_MessageView.ml | 1 -
 ide/wg_ProofView.ml   | 1 -
 3 files changed, 1 insertion(+), 6 deletions(-)

(limited to 'ide')

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 54ef8c7a8a..ab2a17798e 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1301,10 +1301,7 @@ let build_ui () =
   in
   let refresh_language lang =
     let lang = lang_manager#language lang in
-    let iter_session v =
-      v.script#source_buffer#set_language lang;
-      v.proof#source_buffer#set_language lang;
-      v.messages#default_route#source_buffer#set_language lang in
+    let iter_session v = v.script#source_buffer#set_language lang in
     List.iter iter_session notebook#pages
   in
   let refresh_toolbar b =
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
diff --git a/ide/wg_ProofView.ml b/ide/wg_ProofView.ml
index b8ed3436ce..1de63953af 100644
--- a/ide/wg_ProofView.ml
+++ b/ide/wg_ProofView.ml
@@ -197,7 +197,6 @@ let proof_view () =
   let buffer = GSourceView3.source_buffer
     ~highlight_matching_brackets:true
     ~tag_table:Tags.Proof.table
-    ?language:(lang_manager#language source_language#get)
     ?style_scheme:(style_manager#style_scheme source_style#get) ()
   in
   let text_buffer = new GText.buffer buffer#as_buffer in
-- 
cgit v1.2.3