diff options
| author | qaristote <quentin.aristote@ens.fr> | 2023-03-27 13:42:22 +0200 |
|---|---|---|
| committer | qaristote <quentin.aristote@ens.fr> | 2023-03-27 13:42:22 +0200 |
| commit | ce180b1ba53aa1d90b79475c5855070bede42255 (patch) | |
| tree | 3f2f7ab8a3f851fde701a60d735dfff72ca1faa7 /home | |
| parent | 44f651842b0e463a7c659ee83c51c2278be08738 (diff) | |
home: spacemacs: change font size
Diffstat (limited to 'home')
| -rw-r--r-- | home/spacemacs.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home/spacemacs.el b/home/spacemacs.el index 254e3f3..e00ddc0 100644 --- a/home/spacemacs.el +++ b/home/spacemacs.el @@ -273,7 +273,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 '("DejaVu Sans Mono" - :size 10.0 + :size 12.0 :weight normal :width normal) |