diff options
| author | Robin Haberkorn <rhaberkorn@fmsbw.de> | 2025-11-11 23:04:27 +0100 |
|---|---|---|
| committer | Robin Haberkorn <rhaberkorn@fmsbw.de> | 2025-11-12 01:05:52 +0100 |
| commit | 6e006ee0e2d0beedd310218cab1d70cfc71ab154 (patch) | |
| tree | bddd73263efc21c6ef3af2a0d07f370ed2e8f40e /src/help.c | |
| parent | 44073bac56ea37d7e995497e1719e376dc48abcf (diff) | |
fixed the command line's line end type: it was reset during command line replacement ({...})
* The line end type and tab mode is apparently a property of the document.
Therefore it was lost when exchanging the command line's document during command line replacement.
* Instead, the old command line is now stored in a string.
* During replacement we delete and append only the part of the command line that changed.
This ensures that we don't have to restyle the entire command line with every single
replacement (even if it is at the end of the command line).
Diffstat (limited to 'src/help.c')
0 files changed, 0 insertions, 0 deletions