helpful

commit 75c1df1210f97c0774e02c099d6b20c773c0147d
parent 916f63b80d8b89104566b1e100b6ef70aa6d07de
Author: Wilfred Hughes <me@wilfred.me.uk>
Date:   Sun,  4 Jun 2017 11:28:41 +0100

Use correct comment syntax for primitives

Diffstat:
M
helpful.el
 | 
16
++++++++++------

1 file changed, 10 insertions(+), 6 deletions(-)
diff --git a/helpful.el b/helpful.el
@@ -388,13 +388,17 @@ state of the current symbol."
       (t
        "Could not find source file."))
      (helpful--heading "\n\nSource Code\n")
-     ;; TODO: Use // comments for primitives.
      (if source-path
-         (concat (helpful--syntax-highlight ";; Defined in ")
-                 (helpful--navigate-button
-                  source-path
-                  (helpful--source-pos helpful--sym))
-                 "\n")
+         (concat
+          (propertize
+           (if (helpful--primitive-p helpful--sym)
+               "// Defined in "
+             ";; Defined in ")
+           'face 'font-lock-comment-face)
+          (helpful--navigate-button
+           source-path
+           (helpful--source-pos helpful--sym))
+          "\n")
        (helpful--syntax-highlight
         (format ";; Source file is unknown\n")))
      (if (stringp source)