diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-05-09 14:18:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-09 14:18:56 +0200 |
commit | 73e5f6f6736d9879c8d7d3c0d72f6cd60dd18e3b (patch) | |
tree | 94d63e4e7787abce97a221291a95273889ce8df6 /editor/editor_help.h | |
parent | c6c0479aeda8d504869f2d614550a85ec3dd8f51 (diff) | |
parent | c3967c80abd2078f0996761faed256a33cf38d97 (diff) |
Merge pull request #48539 from KoBeWi/cant_edit_this
Display arrow cursor if text is not editable
Diffstat (limited to 'editor/editor_help.h')
0 files changed, 0 insertions, 0 deletions