awesomewm-mirrors
/
awesome-launch
mirror of https://github.com/jcrd/awesome-launch.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

workspace: Delete empty tag when unselected

This commit is contained in:
James Reed 2020-07-29 17:13:09 -06:00
parent a4e00a79cb
commit a768a20b06
No known key found for this signature in database
GPG Key ID: 0BE2BD33C5E8125E
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
workspace.lua
View File

@ -144,6 +144,12 @@ function ws.new(name, args)
end end
local tag = awful.tag.add(name, props) local tag = awful.tag.add(name, props)
tag:connect_signal("property::selected", function ()
if tag.volatile and not tag.selected and #tag:clients() == 0 then
tag:delete()
end
end)
return handle_args(tag, args) return handle_args(tag, args)
end end