diff options
| author | Emil Lauridsen <[email protected]> | 2020-01-15 14:50:49 +0000 |
|---|---|---|
| committer | Emil Lauridsen <[email protected]> | 2020-01-15 14:50:49 +0000 |
| commit | 478ba65f8da6ffd4a3fea09c6a4a1f0fb92e1c85 (patch) | |
| tree | 7406f354ac2f5ade2f0437a418cc172f76d861b4 /editors/code | |
| parent | fdb13dade970d730468cab80ab62837124b08195 (diff) | |
Manage check state updates in main_loop to reduce lock contention
Diffstat (limited to 'editors/code')
0 files changed, 0 insertions, 0 deletions