From bcc92af237a1c991f26e70e0413f93d86e76fa22 Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Thu, 8 Dec 2016 10:58:45 -0500 Subject: [PATCH] fix(emacs/load-lean): require unicode-fonts package --- src/emacs/load-lean.el | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/emacs/load-lean.el b/src/emacs/load-lean.el index ad49987059..7664654d62 100644 --- a/src/emacs/load-lean.el +++ b/src/emacs/load-lean.el @@ -14,7 +14,8 @@ (error nil))) (setq lean-required-packages '(company dash dash-functional f - fill-column-indicator flycheck let-alist s seq)) + fill-column-indicator flycheck let-alist s seq + unicode-fonts)) (require 'package) (add-to-list 'package-archives '("melpa" . "http://melpa.org/packages/")) @@ -27,6 +28,10 @@ (setq need-to-refresh nil)) (package-install p)))) +; This enables out-of-the-box support for characters such as ℕ at least on Windows. +(require 'unicode-fonts) +(unicode-fonts-setup) + (setq load-path (cons lean-emacs-path load-path)) (require 'lean-mode)