From e9bcfa3016d7bd2fc1ed8531a6c6a612b0fcddc3 Mon Sep 17 00:00:00 2001
From: Amin Bandali <amin@aminb.org>
Date: Mon, 30 Apr 2018 19:56:31 -0400
Subject: [emacs] unicode font stack around Ubuntu Mono and Hack
Pretty much my ideal font stack for writing Lean.
---
init.org | 33 +++++++++++++++++++++++++++++++--
1 file changed, 31 insertions(+), 2 deletions(-)
diff --git a/init.org b/init.org
index 56f9fcd..cd05bde 100644
--- a/init.org
+++ b/init.org
@@ -339,6 +339,33 @@ See [[https://www.gnu.org/software/emacs/manual/html_node/emacs/Emacs-Server.htm
:config (or (server-running-p) (server-mode)))
#+end_src
+** Unicode support
+
+Font stack with better unicode support, around =Ubuntu Mono= and
+=Hack=.
+
+#+begin_src emacs-lisp
+(dolist (ft (fontset-list))
+ (set-fontset-font
+ ft
+ 'unicode
+ (font-spec :name "Ubuntu Mono"))
+ (set-fontset-font
+ ft
+ 'unicode
+ (font-spec
+ :name "Hack")
+ nil
+ 'append)
+ (set-fontset-font
+ ft
+ 'unicode
+ (font-spec
+ :name "Symbola monospacified for DejaVu Sans Mono")
+ nil
+ 'append))
+#+end_src
+
* Core
:PROPERTIES:
:CUSTOM_ID: core
@@ -535,7 +562,7 @@ Roll your own modal mode
(exwm-input-set-key (kbd (format "s-%d" i))
(lambda ()
(interactive)
- (exwm-workspace-switch-create ,i))))
+ (exwm-workspace-switch-create i))))
;; 's-SPC': Launch application
(exwm-input-set-key
(kbd "s-SPC")
@@ -759,7 +786,9 @@ TODO: break this giant source block down into individual org sections.
** Lean mode
#+begin_src emacs-lisp
-(use-package lean-mode)
+(use-package lean-mode
+ :bind (:map lean-mode-map
+ ("S-SPC" . company-complete)))
#+end_src
* Post initialization
--
cgit v1.2.3-60-g2f50