diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-07-29 22:56:21 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-29 22:56:21 +0200 |
commit | b27bdcb51e91492b5afaa5dfc81615517cadb3b5 (patch) | |
tree | e313d75f324662e2fd7a0375233b67c94c75bae5 /servers/xr | |
parent | 00e1175b7dcd01be9b13c8fe852af68a916f45e6 (diff) | |
parent | 51dd4792d79bfa9c9ec866cc63c5702098b12c38 (diff) |
Merge pull request #40851 from Paulb23/fix_text_edit_width_cache
Fix TextEdit line width cache not being updated
Diffstat (limited to 'servers/xr')
0 files changed, 0 insertions, 0 deletions