From ac36fb857e6f2fddf97c8d72b0f5f63af9f1975c Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sun, 7 Aug 2022 10:00:29 -0700 Subject: [PATCH] editors.espresso: adding espresso editor integration --- basis/editors/espresso/authors.txt | 1 + basis/editors/espresso/espresso.factor | 11 +++++++++++ basis/editors/espresso/summary.txt | 1 + 3 files changed, 13 insertions(+) create mode 100644 basis/editors/espresso/authors.txt create mode 100644 basis/editors/espresso/espresso.factor create mode 100644 basis/editors/espresso/summary.txt diff --git a/basis/editors/espresso/authors.txt b/basis/editors/espresso/authors.txt new file mode 100644 index 0000000000..e091bb8164 --- /dev/null +++ b/basis/editors/espresso/authors.txt @@ -0,0 +1 @@ +John Benediktsson diff --git a/basis/editors/espresso/espresso.factor b/basis/editors/espresso/espresso.factor new file mode 100644 index 0000000000..8334fd016d --- /dev/null +++ b/basis/editors/espresso/espresso.factor @@ -0,0 +1,11 @@ +USING: editors kernel make namespaces ; + +IN: editors.espresso + +SINGLETON: espresso + +editor-class [ espresso ] initialize + +M: espresso editor-command + drop + [ "open" , "-a" , "espresso" , , ] { } make ; diff --git a/basis/editors/espresso/summary.txt b/basis/editors/espresso/summary.txt new file mode 100644 index 0000000000..54f2005e12 --- /dev/null +++ b/basis/editors/espresso/summary.txt @@ -0,0 +1 @@ +Espresso editor integration -- 2.34.1