Ejemplo n.º 1
0
 def damage(self, wid, window, x, y, w, h, options=None):
     """
         Main entry point from the window manager,
         we dispatch to the WindowSource for this window id
         (creating a new one if needed)
     """
     if not self.send_windows:
         return
     assert window is not None
     if options is None:
         damage_options = self.default_damage_options
     else:
         damage_options = self.default_damage_options.copy()
         damage_options.update(options)
     self.statistics.damage_last_events.append((wid, time.time(), w * h))
     ws = self.window_sources.get(wid)
     if ws is None:
         batch_config = self.default_batch_config.clone()
         batch_config.wid = wid
         ws = WindowSource(self.queue_damage, self.queue_packet,
                           self.statistics, wid, batch_config,
                           self.auto_refresh_delay, self.encoding,
                           self.encodings, self.default_damage_options,
                           self.encoding_client_options,
                           self.supports_rgb24zlib, self.uses_swscale,
                           self.mmap, self.mmap_size)
         self.window_sources[wid] = ws
     ws.damage(window, x, y, w, h, damage_options)
Ejemplo n.º 2
0
 def damage(self, wid, window, x, y, w, h, options=None):
     """
         Main entry point from the window manager,
         we dispatch to the WindowSource for this window id
         (creating a new one if needed)
     """
     if options is None:
         damage_options = self.default_damage_options
     else:
         damage_options = self.default_damage_options.copy()
         for k,v in options.items():
             damage_options[k] = v
     self.statistics.damage_last_events.append((wid, time.time(), w*h))
     ws = self.window_sources.get(wid)
     if ws is None:
         ws = WindowSource(self.queue_damage, self.queue_packet, self.statistics,
                           wid, self.default_batch_config.clone(),
                           self.encoding, self.encodings, self.encoding_client_options,
                           self.mmap, self.mmap_size)
         self.window_sources[wid] = ws
     ws.damage(window, x, y, w, h, damage_options)
Ejemplo n.º 3
0
 def damage(self, wid, window, x, y, w, h, options=None):
     """
         Main entry point from the window manager,
         we dispatch to the WindowSource for this window id
         (creating a new one if needed)
     """
     if options is None:
         damage_options = self.default_damage_options
     else:
         damage_options = self.default_damage_options.copy()
         for k, v in options.items():
             damage_options[k] = v
     self.statistics.damage_last_events.append((wid, time.time(), w * h))
     ws = self.window_sources.get(wid)
     if ws is None:
         ws = WindowSource(self.queue_damage, self.queue_packet,
                           self.statistics, wid,
                           self.default_batch_config.clone(), self.encoding,
                           self.encodings, self.encoding_client_options,
                           self.mmap, self.mmap_size)
         self.window_sources[wid] = ws
     ws.damage(window, x, y, w, h, damage_options)