Skip to content

Commit

Permalink
ui.listener: document that ~/.factor-history persists input history
Browse files Browse the repository at this point in the history
  • Loading branch information
nomennescio committed May 11, 2024
1 parent 9dbe68f commit cf20e7a
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions basis/ui/tools/listener/listener-docs.factor
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,8 @@ HELP: wait-for-listener
ARTICLE: "ui-listener" "UI listener"
"The graphical listener adds input history and word and vocabulary completion. A summary with any outstanding error conditions is displayed before every prompt (see " { $link "ui.tools.error-list" } " for details)."
$nl
"If the file " { $snippet "~/.factor-history" } " exists, input history is made persistent by appending history once the graphical listener closes and reading it back in upon (re)starting."
$nl
"See " { $link "listener" } " for general information on the listener."
{ $command-map listener-gadget "toolbar" }
{ $command-map interactor "completion" }
Expand Down

0 comments on commit cf20e7a

Please sign in to comment.