def check_primary(self): if prefs.get_use_primary() == True: mouse_modifiers = gtk.gdk.Display(None).get_pointer()[3].value_names if 'GDK_BUTTON1_MASK' not in mouse_modifiers: if 'GDK_SHIFT_MASK' not in mouse_modifiers: primary_targets = self.primary.wait_for_targets() if primary_targets != None: primary_tmp = self.primary.wait_for_text() if primary_tmp not in ("", None) and primary_tmp != self.primary_text: self.history.add(history.PrimaryHistoryMenuItem(primary_tmp)) if prefs.get_synch_primary() == True: gtk.clipboard_get().set_text(primary_tmp) gtk.clipboard_get().store() self.primary_specials_text = primary_tmp self.save_history() return True else: return False
def check_primary(self): if prefs.get_use_primary() == True: mouse_modifiers = gtk.gdk.Display( None).get_pointer()[3].value_names if 'GDK_BUTTON1_MASK' not in mouse_modifiers: if 'GDK_SHIFT_MASK' not in mouse_modifiers: primary_targets = self.primary.wait_for_targets() if primary_targets != None: primary_tmp = self.primary.wait_for_text() if primary_tmp not in ( "", None) and primary_tmp != self.primary_text: self.history.add( history.PrimaryHistoryMenuItem(primary_tmp)) if prefs.get_synch_primary() == True: gtk.clipboard_get().set_text(primary_tmp) gtk.clipboard_get().store() self.primary_specials_text = primary_tmp self.save_history() return True else: return False
def toggle_primary(self, a=None, b=None, c=None, d=None): if prefs.get_use_primary() == True: gobject.timeout_add(500, self.check_primary)