diff options
| author | jgmdev <jgmdev@gmail.com> | 2025-06-24 19:27:48 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2025-06-24 19:27:48 -0400 |
| commit | 4b6637d0be3171caadb0fd6977cecdaf01bf96af (patch) | |
| tree | 5f345b1ac45546126906af85fa977fa72bc02691 /data/plugins/language_python.lua | |
| parent | 0b4871db913169069e68595b49eb3b83abb2c992 (diff) | |
| download | pragtical-4b6637d0be3171caadb0fd6977cecdaf01bf96af.tar.gz pragtical-4b6637d0be3171caadb0fd6977cecdaf01bf96af.zip | |
Further improvements to projectsearch focusing
* Better handle focus/unfocus of projectsearch plugin.
* On hide, restore focus to any kind of view.
* Fix not showing when treeview was hidden due to a strange
node sizing issue which is now handled directly on Widget library.
Diffstat (limited to 'data/plugins/language_python.lua')
0 files changed, 0 insertions, 0 deletions