Merge pull request #437 from radiodee1/apt-widget-icon-control

apt-widget icon-control
This commit is contained in:
streetturtle 2024-05-18 12:42:04 -04:00 committed by GitHub
commit 5e3cbf93e6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions

View File

@ -99,6 +99,7 @@ local function worker(user_args)
local pointer = 0
local min_widgets = 5
local carousel = false
local icon_control = args.icon_control
local function rebuild_widget(containers, errors, _, _)
local to_update = {}
@ -353,7 +354,7 @@ local function worker(user_args)
end)))
wibox_popup:connect_signal("mouse::leave", function()
if wibox_popup.visible then
if wibox_popup.visible and not icon_control then
wibox_popup.visible = false
end
end)