diff options
| author | Jefferson González <jgmdev@gmail.com> | 2022-07-17 12:29:52 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-17 12:29:52 -0400 |
| commit | e4bef5c5b6c6f7d13b616b0afda8543732058606 (patch) | |
| tree | dd2ce281f3645eac3d7bf496bf30b9c2b6451f42 /data/plugins/language_python.lua | |
| parent | 06b2fada07cdbe2c59ed9720e79513fe75d10235 (diff) | |
| parent | c7781a76a992e7f6363aa349091c56fb6b30cb4b (diff) | |
| download | lite-xl-e4bef5c5b6c6f7d13b616b0afda8543732058606.tar.gz lite-xl-e4bef5c5b6c6f7d13b616b0afda8543732058606.zip | |
Merge pull request #1080 from jgmdev/PR/fix-commandview-caret
CommandView: do not change caret size with config.line_height
Diffstat (limited to 'data/plugins/language_python.lua')
0 files changed, 0 insertions, 0 deletions