Aded extended commands and editor

2026-08-20 23:48:49 +02:00
parent 72bf39a27b
commit 4324da1467
12 changed files with 1616 additions and 261 deletions
@@ -4,6 +4,7 @@
         "private/extended.rkt"
         "private/commands.rkt"
         "private/racket-tools.rkt"
+         "private/editor.rkt"
         "private/dispatcher.rkt"
         "private/help.rkt"
         "private/aliases.rkt")
@@ -12,6 +13,7 @@
         (all-from-out "private/extended.rkt")
         (all-from-out "private/commands.rkt")
         (all-from-out "private/racket-tools.rkt")
+         (all-from-out "private/editor.rkt")
         (all-from-out "private/dispatcher.rkt")
         (all-from-out "private/help.rkt")
         (all-from-out "private/aliases.rkt"))