diff options
author | Sören Tempel <soeren+git@soeren-tempel.net> | 2021-05-26 14:08:13 +0200 |
---|---|---|
committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2021-05-26 14:08:13 +0200 |
commit | 003fbf0248a53e590c00043259e8a6c3e7f254ff (patch) | |
tree | dc7be3c729bb141f6c40232a9675e7de4946f7b1 | |
parent | 662d93b8605f6c84dd228841a5c5d9eab3f59186 (diff) |
Update documentation to reflect addition of history support
-rw-r--r-- | README.md | 2 | ||||
-rw-r--r-- | TODO.txt | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/README.md b/README.md index 1635ab6..878c9c1 100644 --- a/README.md +++ b/README.md @@ -43,10 +43,10 @@ prototype and currently provides only the following features: * Full Unicode support * Support for readline-like line editing +* Editing history support directly in the terminal emulator Planned features include: -* Editing history support directly in the terminal emulator * Features to replace pagers (search for strings, …) * And more (see `TODO.txt`) diff --git a/TODO.txt b/TODO.txt index 3983cd6..55cc673 100644 --- a/TODO.txt +++ b/TODO.txt @@ -1,4 +1,3 @@ -* Terminal-global editing history? * Support for **some** ANSI escape sequences * Colors * Bracketed paste mode |