Fix middle-click paste to receivers that was accidentally broken by fix for LP:1647507

This commit is contained in:
Stephen Boddy 2017-05-26 03:32:17 +02:00
parent e384a247b0
commit 42fecfd5c6
1 changed files with 4 additions and 0 deletions

View File

@ -926,8 +926,12 @@ class Terminal(Gtk.VBox):
# try to pass it to vte widget first though # try to pass it to vte widget first though
if event.get_state() & Gdk.ModifierType.CONTROL_MASK == 0: if event.get_state() & Gdk.ModifierType.CONTROL_MASK == 0:
if event.get_state() & Gdk.ModifierType.SHIFT_MASK == 0: if event.get_state() & Gdk.ModifierType.SHIFT_MASK == 0:
gtk_settings=Gtk.Settings().get_default()
primary_state = gtk_settings.get_property('gtk-enable-primary-paste')
gtk_settings.set_property('gtk-enable-primary-paste', False)
if not Vte.Terminal.do_button_press_event(self.vte, event): if not Vte.Terminal.do_button_press_event(self.vte, event):
middle_click[0](*middle_click[1]) middle_click[0](*middle_click[1])
gtk_settings.set_property('gtk-enable-primary-paste', primary_state)
else: else:
middle_click[0](*middle_click[1]) middle_click[0](*middle_click[1])
return(True) return(True)