1
1
mirror of https://github.com/anoma/juvix.git synced 2024-09-20 21:17:13 +03:00

emacs mode: keep buffer saved after highlighting

This commit is contained in:
caryoscelus 2022-04-08 14:03:57 +00:00 committed by Paul Cadman
parent 90f607e6ce
commit 3f557271bd

View File

@ -42,6 +42,7 @@
(save-buffer)
(minijuvix-clear-annotations)
(eval (read (shell-command-to-string (concat "minijuvix highlight " (buffer-file-name)))))
(save-buffer)
)
(defun minijuvix-goto-definition ()