[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/anti-zenburn-theme 4edc7e7 079/151: From zenburn-emacs: ad
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/anti-zenburn-theme 4edc7e7 079/151: From zenburn-emacs: add coq faces. |
Date: |
Thu, 21 Oct 2021 18:01:28 -0400 (EDT) |
branch: elpa/anti-zenburn-theme
commit 4edc7e74a9d622ec75dcff63673a110a76997261
Author: Andrey Kotlarski <m00naticus@gmail.com>
Commit: Andrey Kotlarski <m00naticus@gmail.com>
From zenburn-emacs: add coq faces.
---
anti-zenburn-theme.el | 3 +++
1 file changed, 3 insertions(+)
diff --git a/anti-zenburn-theme.el b/anti-zenburn-theme.el
index dcf8fb1..7c4705c 100644
--- a/anti-zenburn-theme.el
+++ b/anti-zenburn-theme.el
@@ -213,6 +213,9 @@
`(clojure-test-error-face ((t (:foreground ,azenburn-blue :weight bold
:underline t))))
`(clojure-test-success-face ((t (:foreground ,azenburn-violet+1 :weight
bold :underline t))))
+ ;; coq
+ '(coq-solve-tactics-face ((t (:foreground nil :inherit
font-lock-constant-face))))
+
;; ctable
`(ctbl:face-cell-select ((t (:background ,azenburn-beige :foreground
,azenburn-bg))))
`(ctbl:face-continue-bar ((t (:background ,azenburn-bg-05 :foreground
,azenburn-bg))))
- [nongnu] elpa/anti-zenburn-theme 681abf7 065/151: From zenburn-emacs: add ediff faces., (continued)
- [nongnu] elpa/anti-zenburn-theme 681abf7 065/151: From zenburn-emacs: add ediff faces., ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme b28cf51 066/151: Bump version., ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme d0f62fb 067/151: Revert inheriting fixed-pitched face for org blocks and tables., ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme 3b5388e 070/151: From zenburn-emacs: add web-mode-symbol-face and adjust colour class, ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme 654e9a4 071/151: From zenburn-emacs: theme anzu-mode., ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme e2517d0 072/151: From zenburn-emacs: theme show-smartparens-mode., ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme d95429e 073/151: From zenburn-emacs: better mismatch face for show-smartparens-mode., ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme 94cab48 075/151: From zenburn-emacs: refine rainbow-delimiter faces., ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme 43a69ed 074/151: From zenburn-emacs: set perspective-mode's modestring color., ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme 6700e17 076/151: From zenburn-emacs: add variables for black and white., ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme 4edc7e7 079/151: From zenburn-emacs: add coq faces.,
ELPA Syncer <=
- [nongnu] elpa/anti-zenburn-theme d6979a4 086/151: From zenburn-emacs: add SLIME colours and ido-indicator face., ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme 40d3e15 085/151: From zenburn-emacs: tweak flycheck faces., ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme 2557b56 088/151: From zenburn-emacs: add faces for several helm sources., ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme 8024b11 094/151: From zenburn-emacs: change isearch background face., ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme 01e21f5 089/151: From zenburn-emacs: refine show-paren-mode and show-smartparens-mode, ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme ef8fe7b 087/151: From zenburn-emacs: fix bug in SLIME faces., ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme 7d933be 093/151: From zenburn-emacs:, ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme 2b0f2e5 103/151: From zenburn-emacs: add azenburn-bg+05 colour and use it for, ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme 748e465 106/151: Add missing parens., ELPA Syncer, 2021/10/21
- [nongnu] elpa/anti-zenburn-theme e9a9b2e 097/151: From zenburn-emacs: theme dim-autoload-cookie-line., ELPA Syncer, 2021/10/21