editors: use reload instead of require

this lets you re-run top-level code which currently sets the editor
class as a side effect.

diff --git a/basis/editors/editors.factor b/basis/editors/editors.factor
index a34dfbf8bcb135d6842056e77c695e58c4436283..48df40246bdb4996f4c78140b42e7f02a6d2eb36 100644 (file)
--- a/basis/editors/editors.factor
+++ b/basis/editors/editors.factor
@@ -19,7 +19,7 @@ SYMBOL: editor-class
 HOOK: editor-command editor-class ( file line -- command )
 
 M: f editor-command
-    "Select an editor" editor-restarts throw-restarts require
+    "Select an editor" editor-restarts throw-restarts reload
     editor-command ;
 
 HOOK: editor-detached? editor-class ( -- ? )