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_ProofView.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'ide/wg_ProofView.ml')

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