def do_paste(self, widget, var2=None, var3=None, var4=None):
     terminals = self.widgets['terminals']
     scroll = terminals.get_nth_page(terminals.get_current_page())
     vte = scroll.get_child()
     vte.paste_clipboard()
     return True
예제 #2
0
파일: ui.py 프로젝트: KsenZ/mcm
 def do_paste(self, widget, var2=None, var3=None, var4=None):
     vte = self.get_current_terminal()
     vte.paste_clipboard()
     return True
예제 #3
0
 def do_paste(self, widget, var2=None, var3=None, var4=None):
     vte = self.get_current_terminal()
     vte.paste_clipboard()
     return True