diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-10-13 19:36:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-13 19:36:33 +0200 |
commit | bc91e088e4503bbf1c5800282f2974011a4cc8e8 (patch) | |
tree | a7561401bc5caee8d7aace8edb4eb212e4d3bee7 /doc/classes/Environment.xml | |
parent | 1dbfd4c3e81255b1af5fae8678ca4bd8ce8e8f46 (diff) | |
parent | 0d0a856ad582cf0889c31b829e77c5e0803eb9e8 (diff) |
Merge pull request #42776 from Paulb23/code_edit_draw_delay
Fixed main gutter not drawing on item toggle
Diffstat (limited to 'doc/classes/Environment.xml')
0 files changed, 0 insertions, 0 deletions