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)