diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-07 09:15:14 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-07 09:15:14 +0200 |
commit | aa20941e68a3d6399d6f740a5d5feaf5f04dc71a (patch) | |
tree | d33a1353d10a78ed6cf438ec6041a9ae58707de6 /doc/classes/EditorPlugin.xml | |
parent | 29f017378e37026b96b5ff552a180aebee18087e (diff) | |
parent | a750ca7ec113859d03d46189e554dc5ff8dd7411 (diff) |
Merge pull request #67016 from bruvzg/split_caret_dir_marker
Add split caret direction markers. Fix block/overtype caret size.
Diffstat (limited to 'doc/classes/EditorPlugin.xml')
0 files changed, 0 insertions, 0 deletions