diff options
| author | jgmdev <jgmdev@gmail.com> | 2022-11-23 17:11:39 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2022-11-23 17:11:39 -0400 |
| commit | 673515b405729d849dbbfefc8a00ceb6091935d8 (patch) | |
| tree | 6b50cb75090fc7d276d2fca965bf1c548f295e9a /plugins/gitopen.lua | |
| parent | 2e471e67b2f0535b2f7159a0d46f02c115b4f075 (diff) | |
| download | pragtical-plugins-673515b405729d849dbbfefc8a00ceb6091935d8.tar.gz pragtical-plugins-673515b405729d849dbbfefc8a00ceb6091935d8.zip | |
settings: ask before clearing font cache
Also check if font cache is already building and alert the user.
Diffstat (limited to 'plugins/gitopen.lua')
0 files changed, 0 insertions, 0 deletions