summaryrefslogtreecommitdiff
path: root/.emacs.d
diff options
context:
space:
mode:
authorRené Neumann <rene.neumann@in.tum.de>2012-09-05 13:25:06 +0200
committerRené 'Necoro' Neumann <necoro@necoro.net>2012-09-05 13:25:06 +0200
commit9725868bdd8f2385b429da196ac2de7c69eb6f98 (patch)
treedb7517e2d4022c447cd605bee408e71f5719433e /.emacs.d
parent8bb4601eb9aace9c9e991bf3549a6e1ac6e57b1d (diff)
downloaddotfiles-9725868bdd8f2385b429da196ac2de7c69eb6f98.tar.gz
dotfiles-9725868bdd8f2385b429da196ac2de7c69eb6f98.tar.bz2
dotfiles-9725868bdd8f2385b429da196ac2de7c69eb6f98.zip
fix default font in emacs
Diffstat (limited to '.emacs.d')
-rw-r--r--.emacs.d/custom.el1
1 files changed, 0 insertions, 1 deletions
diff --git a/.emacs.d/custom.el b/.emacs.d/custom.el
index b0eac92..ee87a4e 100644
--- a/.emacs.d/custom.el
+++ b/.emacs.d/custom.el
@@ -23,7 +23,6 @@
;; If you edit it by hand, you could mess it up, so be careful.
;; Your init file should contain only one such instance.
;; If there is more than one, they won't work right.
- '(default ((t (:inherit nil :stipple nil :background "Grey15" :foreground "Grey" :inverse-video nil :box nil :strike-through nil :overline nil :underline nil :slant normal :weight normal :height 113 :width normal :foundry "unknown" :family "Inconsolata"))))
'(isabelle-free-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue"))))
'(isabelle-quote-face ((t (:foreground "grey21"))))
'(isabelle-string-face ((((type x) (class color) (background dark)) (:foreground "cyan3"))))