diff options
| author | Guldoman <giulio.lettieri@gmail.com> | 2021-11-09 21:46:13 +0100 |
|---|---|---|
| committer | Guldoman <giulio.lettieri@gmail.com> | 2021-11-09 21:46:13 +0100 |
| commit | dc64ff09521cf98a9adc44be8c5a019d62e7aa17 (patch) | |
| tree | 131bc66ac555b7249c815bdbcf74e4242979e7e5 /README.md | |
| parent | fdc04ae0c45c48a900eedc8aa08d0021232b3c0a (diff) | |
| download | lite-xl-plugins-dc64ff09521cf98a9adc44be8c5a019d62e7aa17.tar.gz lite-xl-plugins-dc64ff09521cf98a9adc44be8c5a019d62e7aa17.zip | |
`extend_selection_line`: Draw line body before drawing extension
This avoids problems such as drawing the line highlight over the
extension.
This will probably conflict with other plugins that write after the end
of the line.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions