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: [PATCH 1/1] [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
-- 
2.20.1