diff options
| author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2023-04-24 12:46:01 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-05-12 12:11:58 +0200 |
| commit | d07d4d90d030575296a6118580b158d6ff77c851 (patch) | |
| tree | 1f5fabd5213d11a8607fb8b7842d1655cada89cc /editor/editor_quick_open.h | |
| parent | 4b11fc65f19e7bdef94a7af293498dcadd79cf56 (diff) | |
Allow concurrent buffering and dispatch of input events
(cherry picked from commit f369ed9223146a644cfa3f922e0aacbb002f688c)
Diffstat (limited to 'editor/editor_quick_open.h')
0 files changed, 0 insertions, 0 deletions