Changeset 183

Show
Ignore:
Timestamp:
01/16/2006 03:21:49 PM (3 years ago)
Author:
petli
Message:

RemoveClient? event bug fix

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • trunk/plwm/wmanager.py

    r172 r183  
    1 # $Id: wmanager.py,v 1.26 2005-04-26 15:28:02 petli Exp $ 
     1# $Id: wmanager.py,v 1.27 2006-01-16 21:21:49 petli Exp $ 
    22# 
    33# wmanager.py -- core window manager functionality 
     
    930930            return 
    931931 
    932         wobj.withdraw(destroyed) 
    933  
    934         # If it is a Client obejct, post a RemoveClient event.  As that 
    935         # will not reach the client object, dispatch it manually. 
     932        # If it is a Client obejct, post a RemoveClient event.  As 
     933        # that will not reach the client object, dispatch it manually. 
     934        # Also, this must be done before withdrawing the window, as 
     935        # that kills the event dispatcher. 
    936936        if isinstance(wobj, Client): 
     937            debug('clientnotify', 'Sending RemoveClient for %s', window) 
    937938            evt = wmevents.RemoveClient(wobj) 
    938939            self.wm.events.put_event(evt) 
    939940            wobj.handle_event(evt) 
    940941             
     942        wobj.withdraw(destroyed) 
     943 
    941944        del self.windows[window] 
    942945