Changeset 200
- Timestamp:
- 03/06/2008 12:37:45 AM (10 months ago)
- Location:
- trunk
- Files:
-
- 2 modified
-
examples/plpwm.py (modified) (4 diffs)
-
plwm/wmanager.py (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/examples/plpwm.py
r198 r200 1 1 #!/usr/bin/env python 2 # $Id: plpwm.py,v 1.4 6 2008-02-29 06:39:39 funkiedamouseExp $2 # $Id: plpwm.py,v 1.44 2007/07/14 09:19:34 mwm Exp $ 3 3 # 4 4 # plpwm.py -- Example PLWM window manager configuration with panes. … … 61 61 C_a = input.InputKeyHandler._begin 62 62 C_e = input.InputKeyHandler._end 63 C_y = input.InputKeyHandler._paste _selection63 C_y = input.InputKeyHandler._paste 64 64 c_p = input.InputKeyHandler._history_up 65 65 c_n = input.InputKeyHandler._history_down … … 91 91 "install the panes key map, menus, and try to restore my config." 92 92 93 auto_restore(my, PaneKeys(my).menus.find('paneconfigmenus')) 93 my.panekeys = PaneKeys(my) 94 auto_restore(my, my.panekeys.menus.find('paneconfigmenus')) 94 95 95 96 … … 105 106 panes_maxsize_gravity = X.NorthWestGravity 106 107 108 def __wm_screen_resize__(my): 109 "install the panes key map, menus, and try to restore my config." 110 111 auto_restore(my, my.panekeys.menus.find('paneconfigmenus')) 112 107 113 108 114 class paneWindow(input.inputWindow): -
trunk/plwm/wmanager.py
r198 r200 1 # $Id: wmanager.py,v 1.2 9 2008-02-29 06:39:39 funkiedamouseExp $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 … … 868 868 # Track screen changes 869 869 self.dispatch.add_system_handler(X.EnterNotify, self.handle_screen_enter) 870 self.dispatch.add_system_handler(X.ConfigureNotify, self.handle_screen_change) 870 871 871 872 call_inits(self.__class__, '__screen_client_init__', self) … … 1115 1116 self.wm.current_screen = self 1116 1117 1118 def handle_screen_change(self, event): 1119 """The screen changed geometry. Cool.""" 1120 1121 if event.window == self.root and \ 1122 (self.root_full_width != event.width or \ 1123 self.root_full_height != event.height): 1124 1125 self.root_full_width = self.root_width = event.width 1126 self.root_full_height = self.root_height = event.height 1127 self.wm.handle_screen_resize(event) 1117 1128 1118 1129 def system(self, cmd, fg = 0, evt = None, redirect = None): … … 1563 1574 1564 1575 1576 def handle_screen_resize(self, event): 1577 # The default window manager does nada; but let mixins know 1578 1579 call_inits(self.__class__, '__wm_screen_resize__', self) 1580 1565 1581 def set_current_client(self, client, time = X.CurrentTime, force_focus = 0): 1566 1582 """Set the current client to CLIENT, occuring at the X event
