From a3c5c382547322797cf67256f091f73563570e95 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 30 Apr 2022 10:47:29 +0100 Subject: Add changes to config --- doom/config.org | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/doom/config.org b/doom/config.org index 3ebd1e0..5841d19 100644 --- a/doom/config.org +++ b/doom/config.org @@ -501,6 +501,8 @@ (setq org-beamer-environments-extra '(("onlyenv" "o" "\\begin{onlyenv}%a{%h}" "\\end{onlyenv}") ("onlyenvNH" "o" "\\begin{onlyenv}%a" "\\end{onlyenv}") ("blockNH" "o" "\\begin{block}%a{}" "\\end{block}") + ("oeblock" "o" "\\only%a{\\begin{block}%a{%h}" "\\end{block}}") + ("oeblockNH" "o" "\\only%a{\\begin{block}%a{}" "\\end{block}}") ("minipage" "o" "\\begin{minipage}[t]%o[t]{1.0\\textwidth}" "\\end{minipage}"))) (add-to-list 'org-latex-packages-alist '("" "tikz" t)) @@ -576,7 +578,7 @@ (if (eq system-type 'darwin) (add-to-list 'ebib-file-associations '("pdf" . "open")) (add-to-list 'ebib-file-associations '("pdf" . nil))) - (add-to-list 'ebib-citation-commands '(org-mode (("ref" "cite:%(%K%,)")))) + (add-to-list 'ebib-citation-commands '(org-mode (("ref" "[cite:@%(%K%,)]")))) (add-to-list 'ebib-citation-commands '(context-mode (("cite" "\\cite[%(%K%,)]") ("authoryear" "\\cite[authoryear][%(%K%,)]") ("authoryears" "\\cite[entry][%(%K%,)]") @@ -622,7 +624,7 @@ coq-compile-quick 'no-quick) (after! company-mode - (setq company-global-modes (append company-global-modes '(org-mode)))) + (setq company-idle-delay 1)) ;; Removes performance problems with opening coq files. (after! core-editor @@ -1016,6 +1018,8 @@ https://yannherklotz.com") (use-package! alectryon :hook (coq-mode . alectryon-mode) :config + (when (eq system-type 'darwin) + (setq alectryon-executable "/nix/store/bvlk3hyrjdgl0sg93rrdr2z71hgza0m9-python3.9-alectryon-1.4.0/bin/alectryon")) (map! :map alectryon-mode-map "C-c u t" #'alectryon-toggle)) -- cgit