diff options
author | Pascal Kuthe | 2023-03-30 15:31:54 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2023-03-31 06:19:22 +0000 |
commit | 67783ddfd4fc7f06bd6addaa6d65d49759934ace (patch) | |
tree | 3c0c7323834fa21421ea316a5ce18d8783cd2e1b /runtime/themes/github_dark_high_contrast.toml | |
parent | e72be529968071abcd5fce1d9a06e8e2e2bbaacf (diff) |
Performant and correct set_spans_truncated
the previous implementation used set_string_truncated. This is not only
awkward with this kind of "streaming" string (and therefore lead to an
inefficient and incorrect initial implementation) but that function also
truncates strings of width 1 when there is only a single char available.
The implementation here is performant, correct and also handles the
single width case correctly.
Diffstat (limited to 'runtime/themes/github_dark_high_contrast.toml')
0 files changed, 0 insertions, 0 deletions