diff options
author | Eduardo Silva <edsiper@gmail.com> | 2007-12-08 21:28:48 (GMT) |
---|---|---|
committer | Eduardo Silva <edsiper@gmail.com> | 2007-12-08 21:28:48 (GMT) |
commit | d2c2d9ca486b6b7be7e97c46faeaf94df4bc5004 (patch) | |
tree | 86ae0155205e990563a4b89b3ef721341616f518 /terminal.py | |
parent | df7c7808b834122b226fb5166f7f52acea01eebf (diff) |
Copy to clipboard just if we have a selected text
Diffstat (limited to 'terminal.py')
-rw-r--r-- | terminal.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/terminal.py b/terminal.py index ba3e5c0..371dddc 100644 --- a/terminal.py +++ b/terminal.py @@ -74,7 +74,8 @@ class TerminalToolbar(gtk.Toolbar): copy.show() def _on_copy_clicked_cb(self, widget): - self._vte.copy_clipboard() + if self._vte.get_has_selection(): + self._vte.copy_clipboard() class Terminal(gtk.HBox): def __init__(self): @@ -194,5 +195,5 @@ class VTE(vte.Terminal): self.do_popup(event) return True - #def on_vte_popup_menu(self, term): - # pass + def on_vte_popup_menu(self, term): + pass |