From 3dfce2596edb71df18638df35e36cf086874c409 Mon Sep 17 00:00:00 2001
From: Bart Trojanowski <bart@jukie.net>
Date: Sat, 12 Jan 2008 10:56:28 -0500
Subject: [PATCH] bug fix: remove tags from history after they vanish

Signed-off-by: Bart Trojanowski <bart@jukie.net>
---
 core/wmii.lua | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/core/wmii.lua b/core/wmii.lua
index b115a21..ec053e1 100644
--- a/core/wmii.lua
+++ b/core/wmii.lua
@@ -1095,6 +1095,15 @@ local ev_handlers = {
         end,
         DestroyTag = function (ev, arg)
                 remove ("/lbar/" .. arg)
+
+                -- remove the tag from history
+                local i,v
+                for i=#view_hist,1,-1 do
+                        v = view_hist[i]
+                        if arg == v then
+                                table.remove(view_hist,i)
+                        end
+                end
         end,
 
         FocusTag = function (ev, arg)
-- 
2.11.4.GIT