diff options
author | jgmdev <jgmdev@gmail.com> | 2022-06-14 21:42:43 -0400 |
---|---|---|
committer | jgmdev <jgmdev@gmail.com> | 2022-06-14 21:42:43 -0400 |
commit | d8c30e18d21b38f34a1c4cb584014ca5911daa43 (patch) | |
tree | d3166a97dd058adbfd5cd58ba57a9380162632fa /plugins/settings.lua | |
parent | edf4fa9020ed6233c2f9a07ada89dd9f3bb3c22f (diff) | |
download | lite-xl-plugins-d8c30e18d21b38f34a1c4cb584014ca5911daa43.tar.gz lite-xl-plugins-d8c30e18d21b38f34a1c4cb584014ca5911daa43.zip |
settings: better about childs update strategy
Diffstat (limited to 'plugins/settings.lua')
-rw-r--r-- | plugins/settings.lua | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/plugins/settings.lua b/plugins/settings.lua index 80515f1..0387886 100644 --- a/plugins/settings.lua +++ b/plugins/settings.lua @@ -1448,7 +1448,7 @@ local contributors_list = { end ---@param self widget - local function update_positions(self) + function self.about:update_positions() local center = self:get_width() / 2 title.font = style.big_font @@ -1485,14 +1485,6 @@ local contributors_list = { contributors:set_visible_rows() end - - update_positions(self.about) - - local update_about = self.about.update - function self.about:update() - update_about(self) - update_positions(self) - end end ---Reposition and resize core and plugin widgets. @@ -1535,6 +1527,10 @@ function Settings:update() end end end + + if self.about:is_visible() then + self.about:update_positions() + end end -------------------------------------------------------------------------------- |