diff options
| author | Jefferson González <jgmdev@gmail.com> | 2022-03-05 20:03:05 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-05 20:03:05 -0400 |
| commit | d82b668a0976443e6a876eb2498063f68b1c78b8 (patch) | |
| tree | a764fd2bb21bdbdb3918914a3120755c5487a1ad /data/plugins/language_lua.lua | |
| parent | 1fa1960b0521c01f063f568c68b8a2b0efd2a9f7 (diff) | |
| parent | e5ca08e13fb6424f4aea0ae4413c01dd48c9d68e (diff) | |
| download | lite-xl-d82b668a0976443e6a876eb2498063f68b1c78b8.tar.gz lite-xl-d82b668a0976443e6a876eb2498063f68b1c78b8.zip | |
Merge pull request #863 from jgmdev/scale-fix
plugin scale: replace non existing font.set_size with font.copy
Diffstat (limited to 'data/plugins/language_lua.lua')
0 files changed, 0 insertions, 0 deletions