diff options
author | VolTer <mew.pur.pur@abv.bg> | 2022-12-05 19:05:02 +0100 |
---|---|---|
committer | VolTer <mew.pur.pur@abv.bg> | 2022-12-07 20:54:48 +0100 |
commit | 94416e41c5a5c956670cae7eedda598ddd15131b (patch) | |
tree | c9c53b1a68f0d8d6bdcc46d3510c1b3d4e2f7b02 /editor/editor_themes.h | |
parent | 92287c2cb21dcab237b59dca525383d47c7acf14 (diff) |
Fix various fringe issues with multi-carets and selections
Diffstat (limited to 'editor/editor_themes.h')
0 files changed, 0 insertions, 0 deletions