diff options
| author | René Neumann <rene.neumann@in.tum.de> | 2012-09-05 13:25:06 +0200 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2012-09-05 13:25:06 +0200 |
| commit | 9725868bdd8f2385b429da196ac2de7c69eb6f98 (patch) | |
| tree | db7517e2d4022c447cd605bee408e71f5719433e /.emacs | |
| parent | 8bb4601eb9aace9c9e991bf3549a6e1ac6e57b1d (diff) | |
| download | dotfiles-9725868bdd8f2385b429da196ac2de7c69eb6f98.tar.gz dotfiles-9725868bdd8f2385b429da196ac2de7c69eb6f98.tar.bz2 dotfiles-9725868bdd8f2385b429da196ac2de7c69eb6f98.zip | |
fix default font in emacs
Diffstat (limited to '.emacs')
| -rw-r--r-- | .emacs | 13 |
1 files changed, 9 insertions, 4 deletions
@@ -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") |