branch: elpa/idris-mode
commit 0a99eefb47ea92c664bd0e00d6eed1da063b2d51
Author: identity <135447733+zharm...@users.noreply.github.com>
Commit: identity <135447733+zharm...@users.noreply.github.com>

    `idris-identifier-face`: don't inherit from `default` face
    
    All faces implicitly inherit from the `default` face, and doing so
    explicitly can mess up font-lock unexpectedly in some places (like
    org-mode code blocks).
---
 CHANGES.markdown | 1 +
 CONTRIBUTORS     | 1 +
 idris-syntax.el  | 2 +-
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/CHANGES.markdown b/CHANGES.markdown
index 1aac236d57..9c8d5b2d94 100644
--- a/CHANGES.markdown
+++ b/CHANGES.markdown
@@ -32,6 +32,7 @@ with release 0.9.19.
 
 ### Bug fixes
 
++ Fix `idris-identifier-face` looking wrong in `org-mode` blocks and the like.
 + [3c3a87c66c](https://github.com/idris-hackers/idris-mode/commit/3c3a87c66c): 
Fix failure to find beginning of function type definition when lifting hole and 
function name contains underscore.
 + [62c3ad2b0d](https://github.com/idris-hackers/idris-mode/commit/62c3ad2b0d): 
Do not display unnecessary `*idris-process*` buffer when loading file.
 + [486be1b740](https://github.com/idris-hackers/idris-mode/commit/486be1b740): 
Improve `idris-case-dwim` to make case expression from hole in edge case point 
positions.
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
index 5b14ec8d1a..4d506a665c 100644
--- a/CONTRIBUTORS
+++ b/CONTRIBUTORS
@@ -49,3 +49,4 @@ Yasu Watanabe
 defanor
 startling
 Îșeen
+identity
diff --git a/idris-syntax.el b/idris-syntax.el
index 547070422f..6aea664594 100644
--- a/idris-syntax.el
+++ b/idris-syntax.el
@@ -34,7 +34,7 @@ contributing the settings upstream to the theme maintainer."
   :prefix 'idris :group 'idris)
 
 (defface idris-identifier-face
-  '((t (:inherit default)))
+  '((t nil))
   "The face to highlight Idris identifiers with."
   :group 'idris-faces)
 

Reply via email to