diff options
author | Mark Tiefenbruck <mark@fluxbox.org> | 2008-09-21 06:46:23 (GMT) |
---|---|---|
committer | Mark Tiefenbruck <mark@fluxbox.org> | 2008-09-21 06:46:23 (GMT) |
commit | 4c11204716c3e31d853cb071239cafea52a92efc (patch) | |
tree | 9617ffbec230a7ede954cd5e90191174ad436143 /src/fluxbox.cc | |
parent | ab8b21d18c16d9956b34bbbd7be8858aa048e500 (diff) | |
download | fluxbox-4c11204716c3e31d853cb071239cafea52a92efc.zip fluxbox-4c11204716c3e31d853cb071239cafea52a92efc.tar.bz2 |
fix a few things with new signal code
Diffstat (limited to 'src/fluxbox.cc')
-rw-r--r-- | src/fluxbox.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/fluxbox.cc b/src/fluxbox.cc index 4a7c68d..fa68d00 100644 --- a/src/fluxbox.cc +++ b/src/fluxbox.cc | |||
@@ -429,6 +429,9 @@ Fluxbox::~Fluxbox() { | |||
429 | 429 | ||
430 | // destroy screens (after others, as they may do screen things) | 430 | // destroy screens (after others, as they may do screen things) |
431 | while (!m_screen_list.empty()) { | 431 | while (!m_screen_list.empty()) { |
432 | // this needs to be done before the signal is destroyed | ||
433 | leave( m_screen_list.back()->workspaceCountSig() ); | ||
434 | |||
432 | delete m_screen_list.back(); | 435 | delete m_screen_list.back(); |
433 | m_screen_list.pop_back(); | 436 | m_screen_list.pop_back(); |
434 | } | 437 | } |