]> gitweb.factorcode.org Git - factor.git/commitdiff
gemini: toggle on pre tags.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 12 Mar 2021 03:29:18 +0000 (19:29 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 12 Mar 2021 03:29:18 +0000 (19:29 -0800)
extra/gemini/gemini.factor

index e9c34c2e769ab1ecbfd9dbe7e6544e5fbdd55207..664ef5f504bc5da364279c18a20c0f3cd0abb270 100644 (file)
@@ -169,7 +169,7 @@ PRIVATE>
     f "pre" [
         body string-lines [
             {
-                { [ "```" ?head ] [ drop "pre" on ] }
+                { [ "```" ?head ] [ drop "pre" toggle ] }
                 { [ "=>" ?head ] [ base-url gemini-link. ] }
                 { [ "> " ?head ] [ gemini-quoted. ] }
                 [ "pre" get [ gemini-pad 80 wrap-string ] unless print ]