michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(emacs/lean-info): print stale when info is available

Browse source 
fix #127
This commit is contained in:
Soonho Kong 2014-09-03 10:28:37 -07:00
parent 25a48be470
commit 327e3a58bf
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/emacs/lean-info.el
View file

@ -542,7 +542,7 @@ Take out \"BEGININFO\" and \"ENDINFO\" and Use \"ACK\" as a delim."
(format "\n%s with %s" (format "\n%s with %s"
(propertize "overloaded" 'face 'font-lock-keyword-face) (propertize "overloaded" 'face 'font-lock-keyword-face)
overload-str)))) overload-str))))
(when stale (when (and stale str)
(setq str (format "[%s] %s" (setq str (format "[%s] %s"
(propertize "stale" 'face '(foreground-color . "red")) (propertize "stale" 'face '(foreground-color . "red"))
str))) str)))