]> gitweb.factorcode.org Git - factor.git/commitdiff
editors: refactor print note
authorDoug Coleman <doug.coleman@gmail.com>
Sat, 28 Jan 2023 05:15:39 +0000 (23:15 -0600)
committerDoug Coleman <doug.coleman@gmail.com>
Sat, 28 Jan 2023 05:15:39 +0000 (23:15 -0600)
basis/editors/editors.factor

index 4bb834b34a61bdb712fe7f050540380fb64403e5..bdd527e012959a9a26a4a206a04e169a36838321 100644 (file)
@@ -43,6 +43,7 @@ M: f editor-command
     "Select an editor" editor-restarts throw-restarts
     [ set-editor ]
     [
+        "Note:" print
         '[
             "To make this editor permanent, in your "
             ".factor-boot-rc" home-path
@@ -50,7 +51,7 @@ M: f editor-command
             ".factor-rc" home-path
             " add:\n"
             "USE: editors EDITOR: " _ append
-        ] output>array "Note:" print pprint-line
+        ] output>array pprint-line
     ] bi
     editor-command ;