disable gui tool tips that pop up on mouse hover -- moved to echo area
This commit is contained in:
parent
71b794071e
commit
30b62b66c9
|
@ -291,6 +291,10 @@
|
||||||
(set-language-environment "UTF-8")
|
(set-language-environment "UTF-8")
|
||||||
(set-default-coding-systems 'utf-8-unix)
|
(set-default-coding-systems 'utf-8-unix)
|
||||||
|
|
||||||
|
; dont pop-up tooltips, show in echo area instead
|
||||||
|
(setq tooltip-mode nil)
|
||||||
|
(setq tooltip-use-echo-area t)
|
||||||
|
|
||||||
; auto revert when files/dired changes
|
; auto revert when files/dired changes
|
||||||
(setq global-auto-revert-non-file-buffers t)
|
(setq global-auto-revert-non-file-buffers t)
|
||||||
(global-auto-revert-mode 1)
|
(global-auto-revert-mode 1)
|
||||||
|
|
Reference in a new issue