]> gitweb.factorcode.org Git - factor.git/commitdiff
help.html: fix load
authorDoug Coleman <doug.coleman@gmail.com>
Fri, 29 Jul 2022 23:13:02 +0000 (18:13 -0500)
committerDoug Coleman <doug.coleman@gmail.com>
Sun, 31 Jul 2022 18:25:41 +0000 (13:25 -0500)
basis/help/html/html.factor

index 2aeb70a85a95c894db2fa72a55fd9d3969997210..caf2c6301f8eb10c63348b8cc09acd3ce06de989 100644 (file)
@@ -140,7 +140,7 @@ M: pathname url-of
         " white-space: pre-wrap; line-height: 125%;" append
     ] re-replace-with
 
-    { "font-family: monospace;" "background-color:" } [ subsequence? ] with all?[
+    dup { "font-family: monospace;" "background-color:" } [ subsequence? ] with all? [
         " margin: 10px 0px;" append
     ] when