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 at end of main loop 

Prevents the previous tag in history from being selected.
This commit is contained in:
James Reed 2020-08-01 17:28:19 -06:00
parent a768a20b06
commit ce4127d6e7
No known key found for this signature in database
GPG Key ID: 0BE2BD33C5E8125E
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
workspace.lua
View File

@ -7,6 +7,7 @@
local awful = require("awful") local awful = require("awful")
local naughty = require("naughty") local naughty = require("naughty")
local gtable = require("gears.table") local gtable = require("gears.table")
local gtimer = require("gears.timer")
local launch = require("awesome-launch") local launch = require("awesome-launch")
local ws = {} local ws = {}
@ -145,10 +146,12 @@ function ws.new(name, args)
local tag = awful.tag.add(name, props) local tag = awful.tag.add(name, props)
tag:connect_signal("property::selected", function () tag:connect_signal("property::selected", function ()
gtimer.delayed_call(function ()
if tag.volatile and not tag.selected and #tag:clients() == 0 then if tag.volatile and not tag.selected and #tag:clients() == 0 then
tag:delete() tag:delete()
end end
end) end)
end)
return handle_args(tag, args) return handle_args(tag, args)
end end