[Fix #827] Make it possible to disable the tips

This commit is contained in:
Bozhidar Batsov 2015-05-22 08:51:47 +03:00
parent 25ad11c759
commit 2b6615381d

View file

@ -405,7 +405,7 @@ Doesn't mess with special buffers."
(defun prelude-tip-of-the-day ()
"Display a random entry from `prelude-tips'."
(interactive)
(unless (window-minibuffer-p)
(when (and prelude-tips (not (window-minibuffer-p)))
;; pick a new random seed
(random t)
(message