diff options
| author | Jummit <jummit@web.de> | 2022-10-09 11:17:10 +0200 |
|---|---|---|
| committer | Jummit <jummit@web.de> | 2022-10-09 18:42:54 +0200 |
| commit | a6c1cfae9965cea01864060ae8cfbe39ee00af11 (patch) | |
| tree | f70f7ab2048bf1d45d11f199b8a22a812ff12a23 /editor/editor_properties.h | |
| parent | 880a0177d12463b612268afe95bd3d8dd565bf52 (diff) | |
Allow drag-clicking before symbol lookup
This makes it easier for touch and tablet users to do symbol lookups in
the code editor.
Diffstat (limited to 'editor/editor_properties.h')
0 files changed, 0 insertions, 0 deletions