diff options
Diffstat (limited to 'home')
| -rw-r--r-- | home/config/dotfiles/spacemacs | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/home/config/dotfiles/spacemacs b/home/config/dotfiles/spacemacs index 809b254..d34452d 100644 --- a/home/config/dotfiles/spacemacs +++ b/home/config/dotfiles/spacemacs @@ -253,7 +253,7 @@ It should only modify the values of Spacemacs settings." ;; a non-negative integer (pixel size), or a floating-point (point size). ;; Point size is recommended, because it's device independent. (default 10.0) dotspacemacs-default-font '("Source Code Pro" - :size 10.0 + :size 14.0 :weight normal :width normal) @@ -556,11 +556,20 @@ Put your configuration code here, except for variables that should be set before packages are loaded." ;; Variables customization (custom-set-variables - '(merlin-command "ocamlmerlin")) + '(merlin-command "ocamlmerlin") + + ;; reftex + ;; https://tex.stackexchange.com/a/54825 + '(reftex-bibliography-commands '("bibliography" + "nobibliography" + "addbibresource")) + ;; https://tex.stackexchange.com/a/213909 + '(reftex-use-external-file-finders t) + ) + ;; auto-completion (global-company-mode t) - ;; Key bindings (defun my-ediff-dotfile-and-template () (interactive) |