From 1d68bc3e24f94b5d9d1c12ef58b97b5e70157863 Mon Sep 17 00:00:00 2001 From: Alexander Rosenberg Date: Tue, 19 Mar 2024 14:55:30 -0700 Subject: [PATCH] Fix fricas capfs --- init.el | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/init.el b/init.el index 8f0126f..6734b9b 100644 --- a/init.el +++ b/init.el @@ -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