diff options
| author | Daniel Mendler <mail@daniel-mendler.de> | 2023-12-29 11:28:16 +0100 |
|---|---|---|
| committer | Daniel Mendler <mail@daniel-mendler.de> | 2023-12-29 12:32:11 +0100 |
| commit | aec861d832236dd35969c50930f1c9f6ea5fb122 (patch) | |
| tree | 0a7f9dd3d53e207d0a42ab7a63adb6238d03e4e8 /extensions | |
| parent | 4584252abefb37ac46a32177aa9442164165b55c (diff) | |
Try to reuse timer (see #404)reuse-timer
With this change the Corfu PCH doesn't appear anymore in the profile as long as
auto completion doesn't trigger, for example when repeatedly pressing a DEL a
DEL a DEL...
Diffstat (limited to 'extensions')
0 files changed, 0 insertions, 0 deletions
