From 327e3a58bfbdd31a399e561da03ea4db4aa0edbd Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Wed, 3 Sep 2014 10:28:37 -0700 Subject: [PATCH] fix(emacs/lean-info): print stale when info is available fix #127 --- src/emacs/lean-info.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-info.el b/src/emacs/lean-info.el index d37cd5ae7..ded72405c 100644 --- a/src/emacs/lean-info.el +++ b/src/emacs/lean-info.el @@ -542,7 +542,7 @@ Take out \"BEGININFO\" and \"ENDINFO\" and Use \"ACK\" as a delim." (format "\n%s with %s" (propertize "overloaded" 'face 'font-lock-keyword-face) overload-str)))) - (when stale + (when (and stale str) (setq str (format "[%s] %s" (propertize "stale" 'face '(foreground-color . "red")) str)))