help.html: adding links to github source files.

2012-07-22 22:12:19 -07:00 · 2012-07-22 22:12:19 -07:00 · 504bb901cf
parent 7dc8b2ef1f
commit 504bb901cf
1 changed files with 6 additions and 0 deletions
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@ -60,6 +60,12 @@ M: f topic>filename* drop \ f topic>filename* ;

 M: topic url-of topic>filename ;

+M: pathname url-of
+    string>> "resource:" ?head [
+        "https://github.com/slavapestov/factor/blob/master/"
+        prepend
+    ] [ drop f ] if ;
+
 : help-stylesheet ( -- xml )
    "vocab:help/html/stylesheet.css" ascii file-contents
    [XML <style><-></style> XML] ;