summaryrefslogtreecommitdiff
path: root/home/config
diff options
context:
space:
mode:
authorQuentin Aristote <quentin@aristote.fr>2022-04-08 10:20:55 +0200
committerQuentin Aristote <quentin@aristote.fr>2022-04-08 10:20:55 +0200
commitc189a6cde3e5c331b81b7dfe8d79684013be542e (patch)
treeb8e162b740c8b3c7bb1bed38a94459ee39224d7a /home/config
parentd930b7f16fc3f0f3e1ed654eeeeca134db96aa29 (diff)
change default font size and make reftex work
Diffstat (limited to 'home/config')
-rw-r--r--home/config/dotfiles/spacemacs15
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)