diff options
| author | jgmdev <jgmdev@gmail.com> | 2023-01-19 03:02:09 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2023-01-19 03:02:09 -0400 |
| commit | 718cf5a1a6f4417ffe39c9de6b465ceaf7bed2f1 (patch) | |
| tree | 22b621411f711b731c2c026c19bc31600399520a /manifest.json | |
| parent | 9fe5787a6102b9e02b37cef3cb5307cf43b83185 (diff) | |
| download | lite-xl-plugins-718cf5a1a6f4417ffe39c9de6b465ceaf7bed2f1.tar.gz lite-xl-plugins-718cf5a1a6f4417ffe39c9de6b465ceaf7bed2f1.zip | |
custom caret: use colorpicker widget
Diffstat (limited to 'manifest.json')
| -rw-r--r-- | manifest.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manifest.json b/manifest.json index 137d588..f224d06 100644 --- a/manifest.json +++ b/manifest.json @@ -101,7 +101,7 @@ }, { "description": "Customize the caret in the editor", - "version": "0.1", + "version": "0.2", "path": "plugins/custom_caret.lua", "id": "custom_caret", "mod_version": "3" |