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.
---
 .../09-coqide/12106-master+coqide-style-apply-all-windows.rst        | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 doc/changelog/09-coqide/12106-master+coqide-style-apply-all-windows.rst

(limited to 'doc')

diff --git a/doc/changelog/09-coqide/12106-master+coqide-style-apply-all-windows.rst b/doc/changelog/09-coqide/12106-master+coqide-style-apply-all-windows.rst
new file mode 100644
index 0000000000..a17e9956b9
--- /dev/null
+++ b/doc/changelog/09-coqide/12106-master+coqide-style-apply-all-windows.rst
@@ -0,0 +1,5 @@
+- **Fixed:**
+  Highlighting style and language settings consistently apply to all three buffers of CoqIDE
+  (`#12106 <https://github.com/coq/coq/pull/12106>`_,
+  by Hugo Herbelin; fixes
+  `#11506 <https://github.com/coq/coq/pull/11506>`_).
-- 
cgit v1.2.3