diff options
| author | Jefferson González <jgmdev@gmail.com> | 2023-01-18 22:17:04 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-18 22:17:04 -0400 |
| commit | 8a33e1d8788fd0fee4a304c6353e7009bd6aa209 (patch) | |
| tree | c0a67523c491ae348774aa482e179be26c003b56 /plugins/settings.lua | |
| parent | a91dbbfaf1e2e706c007c98890ac82e920ee771d (diff) | |
| download | pragtical-plugins-8a33e1d8788fd0fee4a304c6353e7009bd6aa209.tar.gz pragtical-plugins-8a33e1d8788fd0fee4a304c6353e7009bd6aa209.zip | |
Search user interface using widgets (#168)
* added search_ui
* support treeview find in directory
* added support for lua pattern replace
* use new widgets animation system and other fixes
* clear results when changing options
* adapted to changes on lite-xl/lite-xl#1232
* added bottom layout and made it default
* added option to position on top
* updated to use new widgets path
* added search_ui to manifest
Diffstat (limited to 'plugins/settings.lua')
0 files changed, 0 insertions, 0 deletions