def __init__(self, screen, name):
self.screen = screen
self.name = name
log.info('created new desktop %s' % self)
self.clients = []
self.focus_stack = FocusStack()
class Desktop(pyglet.event.EventDispatcher):
def __init__(self, screen, name):
self.screen = screen
self.name = name
log.info('created new desktop %s' % self)
self.clients = []
self.focus_stack = FocusStack()
def __str__(self):
return "<Desktop '%s' on %s>" % (self.name, self.screen)
def add_client(self, client):
log.debug('adding client %s to desktop %s' % (client, self))
weakclient = weakref.ref(client)
self.clients.append(weakclient)
self.focus_stack.add(weakclient)
self.focus_client(client)
client.desktop = self
client.push_handlers(
on_removed=functools.partial(self._client_removed, client),
on_focus=functools.partial(self._client_focused, client),
)
if self.screen.active_desktop is self:
client.unban()
else:
client.ban()
def _client_removed(self, client):
log.debug("desktop %s removing %s" % (self, client))
for client in self.clients:
if client() == client:
self.clients.remove(client)
self.focus_stack.remove(client)
break
def _client_focused(self, client):
log.debug('_client_focused %s' % client)
self.focus_stack.move_to_top(client)
def focus_client(self, client):
# if config['focus_new'] .. etc
client.focus()
def focus_next(self):
log.debug('%s focus_next' % self)
cli = self.focus_stack.next()()
if cli:
cli.focus()
else:
log.debug('client dissappeared!')
def focus_prev(self):
log.debug('%s focus_prev' % self)
cli = self.focus_stack.prev()()
if cli:
cli.focus()
else:
log.debug('client dissappeared!')
def remove_client(self, client):
assert client.desktop is self
log.debug('removing client %s from desktop %s' % (client, self))
client.desktop = None
def on_show(self):
log.info('showing desktop %s' % self)
for client in self.clients:
c = client()
if c is not None:
c.unban()
def on_hide(self):
log.info('hiding desktop %s' % self)
for client in self.clients:
c = client()
if c is not None:
c.ban()
