Changeset 190
- Timestamp:
- 09/16/2006 11:07:51 PM (2 years ago)
- Files:
-
- 1 modified
-
trunk/plwm/wmanager.py (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/plwm/wmanager.py
r183 r190 1 # $Id: wmanager.py,v 1.2 7 2006-01-16 21:21:49 petliExp $1 # $Id: wmanager.py,v 1.28 2006-09-17 04:07:51 mwm Exp $ 2 2 # 3 3 # wmanager.py -- core window manager functionality … … 930 930 return 931 931 932 # If it is a Client ob ejct, post a RemoveClient event. As932 # If it is a Client object, post a RemoveClient event. As 933 933 # that will not reach the client object, dispatch it manually. 934 934 # Also, this must be done before withdrawing the window, as
