From f5c81e6acda866d1820e9666d2237f792d3a05f8 Mon Sep 17 00:00:00 2001 From: noctuid Date: Tue, 5 Jan 2016 18:52:53 -0500 Subject: [PATCH] Don't keep WIDs for windows that have been closed Fixes a bug where the wrong window id could be used after creating a new dropdown in the map_post_command or for set_geometry_for_monitor --- tdrop | 1 + 1 file changed, 1 insertion(+) diff --git a/tdrop b/tdrop index 04f820f..84d3991 100755 --- a/tdrop +++ b/tdrop @@ -514,6 +514,7 @@ wid_toggle() { if [[ -z $visibility ]] || [[ -z $(xprop -id "$wid") ]]; then # window no longer exists exists=false + > /tmp/tdrop/"$term$num" fi else exists=false