From 9725868bdd8f2385b429da196ac2de7c69eb6f98 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20Neumann?= Date: Wed, 5 Sep 2012 13:25:06 +0200 Subject: fix default font in emacs --- .emacs | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) (limited to '.emacs') diff --git a/.emacs b/.emacs index 3e24c15..63df819 100644 --- a/.emacs +++ b/.emacs @@ -26,6 +26,11 @@ (color-theme-initialize) (color-theme-charcoal-black) +;; set default font +;; this is needed since Emacs-24 to also set all future frames +;; (setting 'default' in custom-set-faces seems not to work anymore) +(add-to-list 'default-frame-alist '(font . "Inconsolata-11")) + ;; use Poly/ML as SML interpreter (setq sml-program-name "poly") @@ -33,10 +38,10 @@ ;; we need to toggle options twice to make them work (defun isabelle-repair (what part) (let* - ((msg (format "Repairing Auto %s" (capitalize what))) + ((msg (format "Repairing %s" (capitalize what))) ; create the variable from `what` and `part` ; replace spaces by "-" in `what` - (var (format "isar-%s:auto-%s" part + (var (format "isar-%s:%s" part (mapconcat 'identity (split-string (downcase what)) "-"))) (vart (concat var "-toggle")) (repair `(lambda () @@ -50,8 +55,8 @@ (add-hook 'proof-shell-init-hook repair))) -(isabelle-repair "solve direct" "tracing") -(isabelle-repair "quickcheck" "tracing") +(isabelle-repair "auto solve direct" "tracing") +(isabelle-repair "auto quickcheck" "tracing") ;; custom file (setq custom-file "~/.emacs.d/custom.el") -- cgit v1.2.3