diff options
| author | Guldoman <giulio.lettieri@gmail.com> | 2022-06-07 16:48:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-07 10:48:36 -0400 |
| commit | 5dbbda8f8cdc16adcb0330d8189cde959cddfdaf (patch) | |
| tree | 64a7a5d5761c1642856bb53ce2d80e10bc3387ee /plugins/language_rivet.lua | |
| parent | 2e89f409eba9b38b5fc3c99e1cbb2bbb65d7580e (diff) | |
| download | lite-xl-plugins-5dbbda8f8cdc16adcb0330d8189cde959cddfdaf.tar.gz lite-xl-plugins-5dbbda8f8cdc16adcb0330d8189cde959cddfdaf.zip | |
`minimap`: Add per-`DocView` toggle and option to hide on small docs (#96)
* `minimap`: draw correct lines when not highlighting
* `minimap`: add toggle per-`DocView`
* `minimap`: add option to automatically hide on small docs
Diffstat (limited to 'plugins/language_rivet.lua')
0 files changed, 0 insertions, 0 deletions