diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-11-26 11:00:54 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-26 11:00:54 +0100 |
commit | 73551a1edc6f805f8e34838ffd98a5e9e40db992 (patch) | |
tree | 6772cdf33dc314f56ac2a923157d015bdf73219c /servers/server_wrap_mt_common.h | |
parent | af92b7dc14a7b6c8b14b6e7ad076ac6734e1efb0 (diff) | |
parent | 594e0261f3448450d53d740afc7001eb9ef094cf (diff) |
Merge pull request #23964 from allkhor/text_edit_clear_selection
TextEdit: remove selection when clear happens.
Diffstat (limited to 'servers/server_wrap_mt_common.h')
0 files changed, 0 insertions, 0 deletions