diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-27 08:25:25 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-27 08:25:25 +0100 |
commit | b8e8572a1d650a68c3f6b711f2955f6f2798d72a (patch) | |
tree | 9adbea2d17058da4bffb05f2bcfaf4ebf35aa29d /misc/dist/html | |
parent | 745e994fc0f5bdf8010e4c7b64d11f958efcd175 (diff) | |
parent | 315164c6191ac25eccf54c4378451e8acf24fbfc (diff) |
Merge pull request #74029 from bruvzg/ime_textedit_complex
[TextEdit / IME] Check selection before deleting to avoid unnecessary error messages.
Diffstat (limited to 'misc/dist/html')
0 files changed, 0 insertions, 0 deletions