ui.tools: quit as easier to remember alias to type to end the listener

factor · May 29, 2024 · a50f45c · a50f45c
1 parent 173d93e
commit a50f45c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/basis/ui/tools/tools.factor b/basis/ui/tools/tools.factor
@@ -14,6 +14,8 @@ IN: ui.tools
 
 : com-exit ( -- ) close-all-windows notify-queued 0 exit ;
 
+ALIAS: quit com-exit ! easier to remember command for the user to type to quit the listener
+
 \ com-exit H{ { +nullary+ t } } define-command
 
 tool "tool-switching" f {