From 86e3817e40679341961727d365c26628726069a1 Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Wed, 2 Nov 2011 13:41:46 -0700 Subject: [PATCH] Actually let the user pick an editor after editor protocol change. --- basis/editors/editors.factor | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/basis/editors/editors.factor b/basis/editors/editors.factor index d7075bae44..df854ab105 100644 --- a/basis/editors/editors.factor +++ b/basis/editors/editors.factor @@ -19,6 +19,11 @@ SYMBOL: editor-class [ [ "Load " prepend ] keep ] { } map>assoc ; HOOK: editor-command editor-class ( file line -- command ) + +M: f editor-command + "Select an editor" editor-restarts throw-restarts require + editor-command ; + HOOK: editor-detached? editor-class ( -- ? ) M: object editor-detached? t ;