From c189a6cde3e5c331b81b7dfe8d79684013be542e Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Fri, 8 Apr 2022 10:20:55 +0200
Subject: change default font size and make reftex work

---
 home/config/dotfiles/spacemacs | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

(limited to 'home/config/dotfiles/spacemacs')

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)
-- 
cgit v1.2.3