summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
3f0f8d0)
Pretty much my ideal font stack for writing Lean.
:config (or (server-running-p) (server-mode)))
#+end_src
: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
* Core
:PROPERTIES:
:CUSTOM_ID: core
(exwm-input-set-key (kbd (format "s-%d" i))
(lambda ()
(interactive)
(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")
;; 's-SPC': Launch application
(exwm-input-set-key
(kbd "s-SPC")
** Lean mode
#+begin_src emacs-lisp
** Lean mode
#+begin_src emacs-lisp
+(use-package lean-mode
+ :bind (:map lean-mode-map
+ ("S-SPC" . company-complete)))
#+end_src
* Post initialization
#+end_src
* Post initialization