branch: elpa/idris-mode
commit b264cbf643bd6c45275b583557d5eeedf941b058
Merge: a797d7763d 0a99eefb47
Author: Jan de Muijnck-Hughes <j...@users.noreply.github.com>
Commit: GitHub <nore...@github.com>
Merge pull request #638 from ZharMeny/main
Make so `idris-identifier-face` doesn't explicitly inherit from the
`default` face
---
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)
