gebner/etc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

spacemacs: disable annoying flycheck tooltips

Browse Source
This commit is contained in:
Gabriel Ebner 2017-02-23 17:16:55 +01:00
parent b409679bd5
commit 6c94b6a238
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
spacemacs
View File

@ -31,7 +31,7 @@
;; (shell :variables
;; shell-default-height 30
;; shell-default-position 'bottom)
syntax-checking
(syntax-checking :variables syntax-checking-enable-tooltips nil)
version-control
scala
latex
@ -219,6 +219,7 @@ you should place your code here."
(load-file (concat twelf-root "emacs/twelf-init.el")))
(setq lean-rootdir "/home/gebner/lean")
(setq flycheck-display-errors-function nil) ; disable annoying flycheck tooltips
(when (file-exists-p lean-rootdir)
(setq load-path (cons (concat lean-rootdir "/src/emacs") load-path))
(require 'lean-mode)