diff options
| author | jgmdev <jgmdev@gmail.com> | 2022-06-22 17:56:11 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2022-06-22 17:56:11 -0400 |
| commit | 2f145bd68daf7ec48a28fbf3b39b7fc0b7a8454c (patch) | |
| tree | e2b5ab10b9f126b22c2e5a6f687d4a146da89e8d /plugins/language_gdscript.lua | |
| parent | 93bf73faead3573744b3e07aea999ab106777870 (diff) | |
| download | lite-xl-plugins-2f145bd68daf7ec48a28fbf3b39b7fc0b7a8454c.tar.gz lite-xl-plugins-2f145bd68daf7ec48a28fbf3b39b7fc0b7a8454c.zip | |
settings: set about title font as reference of big_font
Diffstat (limited to 'plugins/language_gdscript.lua')
0 files changed, 0 insertions, 0 deletions