diff options
| author | Phil Jones <philj56@gmail.com> | 2022-08-09 12:31:50 +0100 |
|---|---|---|
| committer | Phil Jones <philj56@gmail.com> | 2022-08-09 12:35:58 +0100 |
| commit | 6998cf1f0d6692255e09a46b5d59db08a7fd3d49 (patch) | |
| tree | 05f2b6cd60d74e92145c03f60008d7d4d40540c0 /.github | |
| parent | 81025108db445ab31d7506a88e8919a5eebcadcb (diff) | |
Improve performance for some themes.
When not highlighting matches or drawing a selection background box, we
can skip a bunch of slow code to improve performance.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions