Summary
Metadata
Words
Ordinary words
Files
Metadata
| Parents: | ui.tools.listener.history |
Words
Ordinary words
| Word | Stack effect |
 change-history-index | ( history i -- ) |
| current-input | ( history -- input ? ) |
| get-element | ( history -- elt ) |
| history-recall | ( history i -- ) |
| push-if-not-last | ( elt seq -- ) |
| save-history | ( history -- ) |
| set-element | ( elt history -- ) |
| update-document | ( history -- ) |
Files