diff options
| author | Guldoman <giulio.lettieri@gmail.com> | 2021-11-22 06:23:16 +0100 |
|---|---|---|
| committer | Guldoman <giulio.lettieri@gmail.com> | 2021-11-22 06:23:16 +0100 |
| commit | 23a0f6ca796651e122f3e921aea35f6e495e3f65 (patch) | |
| tree | 858fb203945399cbed0fa47f6fcae4a48d94201b /src | |
| parent | a7bbd3d6f7a7999f9109b9275bc60e45f590ae5b (diff) | |
| download | lite-xl-23a0f6ca796651e122f3e921aea35f6e495e3f65.tar.gz lite-xl-23a0f6ca796651e122f3e921aea35f6e495e3f65.zip | |
Speed up highlighter notify
Avoid calling `table.{insert,remove}` multiple times, as this causes
multiple shifts in the `self.lines` table.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions