branch: externals/modus-themes
commit 902a601c08b5381b5010239c8d4071c3a60405cd
Author: Protesilaos Stavrou <[email protected]>
Commit: Protesilaos Stavrou <[email protected]>
Stop supporting agda2-mode
We are trying to fix something that should be handled directly in that
package, namely, for it to just inherit from font-lock instead of
trying to do its own thing.
---
modus-themes.el | 31 -------------------------------
1 file changed, 31 deletions(-)
diff --git a/modus-themes.el b/modus-themes.el
index 1de7750f2e..f6b949368d 100644
--- a/modus-themes.el
+++ b/modus-themes.el
@@ -4647,37 +4647,6 @@ FG and BG are the main colors."
`(adoc-title-5-face ((,c :inherit modus-themes-heading-5)))
`(adoc-typewriter-face ((,c :inherit modus-themes-prose-verbatim)))
`(adoc-verbatim-face ((,c :inherit modus-themes-prose-verbatim)))
-;;;;; agda2-mode
- `(agda2-highlight-bound-variable-face ((,c :inherit
font-lock-variable-name-face)))
- `(agda2-highlight-catchall-clause-face ((,c :background ,bg-inactive)))
- `(agda2-highlight-coinductive-constructor-face ((,c :inherit
font-lock-type-face)))
- `(agda2-highlight-coverage-problem-face ((,c :inherit
modus-themes-lang-error)))
- `(agda2-highlight-datatype-face ((,c :inherit font-lock-type-face)))
- `(agda2-highlight-deadcode-face ((,c :background ,bg-active)))
- `(agda2-highlight-dotted-face ((,c :inherit font-lock-variable-name-face)))
- `(agda2-highlight-error-face ((,c :inherit modus-themes-lang-error)))
- `(agda2-highlight-field-face ((,c :inherit font-lock-type-face)))
- `(agda2-highlight-function-face ((,c :inherit
font-lock-function-name-face)))
- `(agda2-highlight-generalizable-variable-face ((,c :inherit
font-lock-variable-name-face)))
- `(agda2-highlight-incomplete-pattern-face ((,c :inherit
modus-themes-lang-warning)))
- `(agda2-highlight-inductive-constructor-face ((,c :inherit
font-lock-type-face)))
- `(agda2-highlight-keyword-face ((,c :inherit font-lock-keyword-face)))
- `(agda2-highlight-macro-face ((,c :inherit font-lock-keyword-face)))
- `(agda2-highlight-module-face ((,c :inherit font-lock-variable-name-face)))
- `(agda2-highlight-number-face ((,c :inherit shadow)))
- `(agda2-highlight-operator-face ((,c :inherit
font-lock-variable-name-face)))
- `(agda2-highlight-positivity-problem-face ((,c :inherit
modus-themes-lang-warning)))
- `(agda2-highlight-postulate-face ((,c :inherit font-lock-type-face)))
- `(agda2-highlight-pragma-face ((,c :inherit font-lock-preprocessor-face)))
- `(agda2-highlight-primitive-face ((,c :inherit font-lock-type-face)))
- `(agda2-highlight-primitive-type-face ((,c :inherit font-lock-type-face)))
- `(agda2-highlight-record-face ((,c :inherit font-lock-type-face)))
- `(agda2-highlight-string-face ((,c :inherit font-lock-string-face)))
- `(agda2-highlight-symbol-face ((,c :inherit font-lock-constant-face)))
- `(agda2-highlight-termination-problem-face ((,c :inherit
modus-themes-lang-warning)))
- `(agda2-highlight-typechecks-face ((,c :inherit font-lock-warning-face)))
- `(agda2-highlight-unsolved-constraint-face ((,c :inherit
modus-themes-lang-warning)))
- `(agda2-highlight-unsolved-meta-face ((,c :inherit
modus-themes-lang-warning)))
;;;;; all-the-icons
`(all-the-icons-blue ((,c :foreground ,blue-cooler)))
`(all-the-icons-blue-alt ((,c :foreground ,blue-warmer)))
