]> gitweb.factorcode.org Git - factor.git/commitdiff
help.markup: add more spacing around $code
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 31 Jan 2023 19:35:41 +0000 (11:35 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 31 Jan 2023 19:41:06 +0000 (11:41 -0800)
basis/help/markup/markup.factor

index 37ed5a8ad3a67abdc45eedc53abe33b4190edeef..72a480e8f3a46be397b9e7d4a7e57270de4111dd 100644 (file)
@@ -95,8 +95,8 @@ M: f print-element drop ;
 : ($code) ( presentation quot -- )
     [
         last-element off
-        [ ($code-style) ] dip with-nesting
-    ] ($block) ; inline
+        [ ($code-style) ] dip with-nesting nl
+    ] ($heading) ; inline
 
 : $code ( element -- )
     join-lines dup <input> [ write ] ($code) ;