diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-09-08 13:36:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-08 13:36:32 +0200 |
| commit | 5cc8da9f182a7cdb2e46f33df91044f1512ccd39 (patch) | |
| tree | 0ae2708c74dde2e5a20dd71c4aeb3e6f23fbac67 /editor | |
| parent | 0a8c5845e33de025f5bfcacbcb5cf1ff4fa9fc33 (diff) | |
| parent | 79802b31a99f2b7256ad6d22e664734ee3a11397 (diff) | |
Merge pull request #41876 from madmiraal/fix-40947
Check if old mouse column is still available.
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions