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)
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)
