diff options
author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2024-09-19 12:53:14 +0200 |
---|---|---|
committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2024-09-19 12:53:14 +0200 |
commit | fcf962edded2d6a7cb638909587167261e4f2bb0 (patch) | |
tree | 9e29f3b39d5dcacae0b57be770a2d44fa862ecc9 /TODO | |
parent | 5b3906f9255f43018c2bd9683cedddf3df37fa61 (diff) | |
download | sciteco-fcf962edded2d6a7cb638909587167261e4f2bb0.tar.gz |
Ctrl+^ is no longer translated to a single caret in string building (refs #20)
* Ctrl+^ (30) and Caret+caret (^^) were both translated to a single caret.
While there might be some reason to keep this behavior for double-caret,
it is certainly pointless for Ctrl+^.
* That gives you an easy way to insert Ctrl+^ (code 30) into documents with <I>.
Perviously, you either had to insert a double-caret, typing 4 carets in a row,
or you had to use <EI> or 30I$.
* The special handling of double-caret could perhaps be abolished altogether,
as we also have ^Q^ to escape plain carets.
The double-caret syntax is very archaic from the time that there was no proper
^Q as far as I recall correctly.
Diffstat (limited to 'TODO')
-rw-r--r-- | TODO | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -509,8 +509,6 @@ Features: * ^^ in string building expanding to a single caret is not consistent. Perhaps we should allow only ^Q^ as a way to insert a single caret? - At the very least, Ctrl+^ should insert char 30 instead of a single - caret. * Support for non-ANSI single byte encodings is still incomplete. You can set them with EE and they will be correctly displayed (on Gtk at least), but there is no way |