diff options
| author | Jefferson González <jgmdev@gmail.com> | 2022-04-14 13:42:18 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-14 13:42:18 -0400 |
| commit | c0970f41c01b84f46a3f5bd0bac9b0339cb4d850 (patch) | |
| tree | 8522d53da30d3d1ce7cf67bda6bc1b5191a9ec41 /data/plugins/language_python.lua | |
| parent | 16fcb2e7512cbae16de133d249fda8d3ce092ef8 (diff) | |
| parent | 43086a9c24f663300c2555162b56642f3457c044 (diff) | |
| download | lite-xl-c0970f41c01b84f46a3f5bd0bac9b0339cb4d850.tar.gz lite-xl-c0970f41c01b84f46a3f5bd0bac9b0339cb4d850.zip | |
Merge pull request #916 from Guldoman/PR_enhanced_scrollbar
Enhance scrollbar
Diffstat (limited to 'data/plugins/language_python.lua')
0 files changed, 0 insertions, 0 deletions