]> gitweb.factorcode.org Git - factor.git/commitdiff
editors: don't show editors.private
authorDoug Coleman <doug.coleman@gmail.com>
Wed, 22 Dec 2021 01:41:34 +0000 (19:41 -0600)
committerDoug Coleman <doug.coleman@gmail.com>
Wed, 22 Dec 2021 01:41:34 +0000 (19:41 -0600)
basis/editors/editors.factor

index a34dfbf8bcb135d6842056e77c695e58c4436283..bdc8e5f77b1037bf12d576839067128471fdc205 100644 (file)
@@ -10,7 +10,7 @@ IN: editors
 SYMBOL: editor-class
 
 : available-editors ( -- seq )
-    "editors" disk-child-vocab-names ;
+    "editors" disk-child-vocab-names [ ".private" tail? ] reject ;
 
 : editor-restarts ( -- alist )
     available-editors