Fix fricas faces

This commit is contained in:
Alexander Rosenberg 2024-03-19 15:04:36 -07:00
parent 1d68bc3e24
commit 4ccf34d70e
Signed by: Zander671
GPG Key ID: 5FD0394ADBD72730

20
init.el
View File

@ -956,21 +956,21 @@ argument."
(setq-local completion-at-point-functions temp-capfs)))
'((name . "my/-fricas-fix-capfs")))
:config
(face-spec-set 'fricas-type-time '((t (:foreground nil
:background nil
(face-spec-set 'fricas-type-time '((t (:foreground unspecified
:background unspecified
:inherit font-lock-type-face))))
(face-spec-set 'fricas-message '((t (:foreground nil
:background nil
(face-spec-set 'fricas-message '((t (:foreground unspecified
:background unspecified
:inherit error))))
(face-spec-set 'fricas-undefined '((t (:foreground nil
:background nil
(face-spec-set 'fricas-undefined '((t (:foreground unspecified
:background unspecified
:inherit nerd-icons-lblue))))
(face-spec-set 'fricas-algebra '((t (:foreground nil
:background nil
(face-spec-set 'fricas-algebra '((t (:foreground unspecified
:background unspecified
:weight bold
:inherit fricas-prompt))))
(face-spec-set 'fricas-TeX '((t (:foreground nil
:background nil
(face-spec-set 'fricas-TeX '((t (:foreground unspecified
:background unspecified
:inherit fricas-prompt)))))
;; gnuplot (mostly for org-plot)