Changeset 183
- Timestamp:
- 01/16/2006 03:21:49 PM (3 years ago)
- Files:
-
- 1 modified
-
trunk/plwm/wmanager.py (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/plwm/wmanager.py
r172 r183 1 # $Id: wmanager.py,v 1.2 6 2005-04-26 15:28:02petli Exp $1 # $Id: wmanager.py,v 1.27 2006-01-16 21:21:49 petli Exp $ 2 2 # 3 3 # wmanager.py -- core window manager functionality … … 930 930 return 931 931 932 wobj.withdraw(destroyed)933 934 # If it is a Client obejct, post a RemoveClient event. As that935 # 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. 936 936 if isinstance(wobj, Client): 937 debug('clientnotify', 'Sending RemoveClient for %s', window) 937 938 evt = wmevents.RemoveClient(wobj) 938 939 self.wm.events.put_event(evt) 939 940 wobj.handle_event(evt) 940 941 942 wobj.withdraw(destroyed) 943 941 944 del self.windows[window] 942 945
