search

leanprover / lean3-mode

Emacs mode for Lean
Apache License 2.0
69 stars 17 forks source link

font-size in the mini buffer messages #13

Open arademaker opened 6 years ago

arademaker commented 6 years ago

During classes, I would like to increase the size of the fonts in the minibuffer so students can see the types in the cursor position. Any idea? Using the code below I can increase the size in other situations, like list of buffers, but the lean-mode messages remain unchanged.

(add-hook 'minibuffer-setup-hook 'my-minibuffer-setup)
(defun my-minibuffer-setup ()
        (set (make-local-variable 'face-remapping-alist)
          '((default :height 1.2))))