diff options
| author | Jefferson González <jgmdev@gmail.com> | 2022-07-05 18:07:33 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-05 18:07:33 -0400 |
| commit | e646f2fb28b24bae5d13994b14b75252718a6ccd (patch) | |
| tree | 1e6e75feb1487a50cd5ae7e90e09535c80d655d0 /data/plugins/language_python.lua | |
| parent | f49fd1b47778a79d1904c600a9c009a91a129207 (diff) | |
| parent | 7888bf08e916b49689f7dfb1660701fcbe8df2db (diff) | |
| download | lite-xl-e646f2fb28b24bae5d13994b14b75252718a6ccd.tar.gz lite-xl-e646f2fb28b24bae5d13994b14b75252718a6ccd.zip | |
Merge pull request #1065 from Guldoman/PR_log_size
Increase `config.max_log_items`, add a scrollbar and optimize `LogView`
Diffstat (limited to 'data/plugins/language_python.lua')
0 files changed, 0 insertions, 0 deletions