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 | |
| 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')
| -rw-r--r-- | plugins/settings.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/settings.lua b/plugins/settings.lua index 2114a36..9e77112 100644 --- a/plugins/settings.lua +++ b/plugins/settings.lua @@ -1469,6 +1469,7 @@ end function Settings:setup_about() ---@type widget.label local title = Label(self.about, "Lite XL") + title.font = "big_font" ---@type widget.label local version = Label(self.about, "version " .. VERSION) ---@type widget.label @@ -1543,7 +1544,6 @@ local contributors_list = { function self.about:update_positions() local center = self:get_width() / 2 - title.font = style.big_font title:set_label("Lite XL") title:set_position( center - (title:get_width() / 2), |