commit e0973bfc4d7fce0225cf20e5d4089d729c55f5c2
parent 0d87632274b5713763dc96a912fffde0b1c0032c
Author: Wilfred Hughes <me@wilfred.me.uk>
Date: Sun, 2 Apr 2017 11:44:20 +0100
Prettier heading
Diffstat:
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/helpful.el b/helpful.el
@@ -41,6 +41,10 @@
(setq helpful--sym symbol))
buf))
+(defun helpful--heading (text)
+ "Propertize TEXT as a heading."
+ (propertize text 'face 'bold))
+
(defun helpful-update ()
"Update the current *Helpful* buffer to the latest
state of the current symbol."
@@ -50,7 +54,7 @@ state of the current symbol."
(erase-buffer)
(insert
(format "Symbol: %s\n\n" helpful--sym)
- "Documentation\n"
+ (helpful--heading "Documentation\n")
(helpful--docstring helpful--sym))
(goto-char start-pos)))