Zander671/emacs-config
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix fricas capfs

Browse Source
This commit is contained in:
Alexander Rosenberg 2024-03-19 14:55:30 -07:00
parent 6ad6ebbdcb
commit 1d68bc3e24
Signed by: Zander671
GPG Key ID: 5FD0394ADBD72730
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
init.el
View File

@ -943,6 +943,18 @@ argument."
(add-to-list 'load-path "/usr/lib/fricas/emacs/")
(use-package fricas
:ensure nil
:custom
(fricas-run-command "fricas -nosman")
:init
;; Fix `fricas-mode' messing up `completion-at-point-functions'
(advice-add #'fricas-mode :around
#'(lambda (oldfun &rest r)
(let ((temp-capfs))
(let ((completion-at-point-functions '(t)))
(apply oldfun r)
(setq temp-capfs completion-at-point-functions))
(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
@ -955,6 +967,7 @@ argument."
:inherit nerd-icons-lblue))))
(face-spec-set 'fricas-algebra '((t (:foreground nil
:background nil
:weight bold
:inherit fricas-prompt))))
(face-spec-set 'fricas-TeX '((t (:foreground nil
:background nil