]> gitweb.factorcode.org Git - factor.git/commitdiff
editors: don't have docs USE: editors.gedit
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 9 Jan 2023 15:55:36 +0000 (07:55 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 9 Jan 2023 15:55:36 +0000 (07:55 -0800)
basis/editors/editors-docs.factor

index 8baf4c2a105e757b5579e14d4f45fd92058901c2..38405f6788a0b96859985cc65a2b4ddb59fd12e7 100644 (file)
@@ -1,5 +1,5 @@
 USING: help.markup help.syntax parser source-files
-source-files.errors vocabs.loader kernel editors.gedit ;
+source-files.errors vocabs.loader kernel ;
 IN: editors
 
 ARTICLE: "editor" "Editor integration"
@@ -46,7 +46,7 @@ $nl
     [
             gedit-path , number>string \"+\" prepend , ,
     ] { } make ;" }
-"Here, " { $link gedit-path } " is a word that either pushes the location of " { $snippet "gedit" }
+"Here, " { $snippet gedit-path } " is a word that either pushes the location of " { $snippet "gedit" }
 " from PATH, or uses a user-defined path, set in a global."
 $nl
 "Finally, if your editor does not use a GUI, the " { $link editor-detached? } " method must be "