diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-10-04 18:18:32 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-04 18:18:32 +0200 |
commit | adc9500e5497c7427f91d7cbf9985f74cbb3451c (patch) | |
tree | f6675cf49548a32cd5588e642368d04c0b81f293 /thirdparty/harfbuzz/src/hb-mutex.hh | |
parent | 87e7f793e4852a6fda6a338b8abd0c5cda38ac25 (diff) | |
parent | fcb102a8265276a59a9c54b85e5b085b1a8b7db9 (diff) |
Merge pull request #53330 from jmb462/fix-bad-caret-position-after-ctrl-x
Fix caret position and viewport centering after deleting line (Ctrl-X)
Diffstat (limited to 'thirdparty/harfbuzz/src/hb-mutex.hh')
0 files changed, 0 insertions, 0 deletions