diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-21 11:27:29 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-21 11:27:29 +0100 |
| commit | d45af488c47a1ed1812e5b6c5c01beee4890e250 (patch) | |
| tree | 5ad4cc4b88088f4b1b5334a6d2745d042926c40e /editor | |
| parent | 41cfd2cf509bbe7e018c605b2d974167df220ee8 (diff) | |
| parent | 51777a2914dc46f2831752b74db6276369df0905 (diff) | |
Merge pull request #71798 from reduz/fix-editor-redraw
Fix constant editor redraw after shortcut
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions