editors: only supported-platforms are available-editors

diff --git a/basis/editors/editors.factor b/basis/editors/editors.factor
index bdd527e012959a9a26a4a206a04e169a36838321..9f1fd45856dd30b66c11ca123fcac23c82b6dff7 100644 (file)
--- a/basis/editors/editors.factor
+++ b/basis/editors/editors.factor
@@ -13,7 +13,8 @@ SYMBOL: editor-class
 
 : available-editors ( -- seq )
     "editors" disk-child-vocab-names
-    { "editors.ui" "editors.private" } diff ;
+    { "editors.ui" "editors.private" } diff
+    [ vocab-platforms supported-platform? ] filter ;
 
 : editor-restarts ( -- alist )
     available-editors