diff options
| author | JRG 2 <jrg2@ubuntu.(none)> | 2013-12-20 20:10:48 (GMT) |
|---|---|---|
| committer | JRG 2 <jrg2@ubuntu.(none)> | 2013-12-20 20:10:48 (GMT) |
| commit | 6bf36e1cc6eb1d28b12b9ecdf29eeb64f7be170c (patch) | |
| tree | 295a25612601078b46d82703d4fd24fc301c23bc | |
| parent | c28887bb0839d3c9a4dcb3068b5b53099f0e4935 (diff) | |
Modify webactivity.py
| -rw-r--r-- | webactivity.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/webactivity.py b/webactivity.py index 43267e2..13826d6 100644 --- a/webactivity.py +++ b/webactivity.py @@ -510,6 +510,12 @@ class WebActivity(activity.Activity): if event.get_state() & Gdk.ModifierType.CONTROL_MASK: + is_entry_focused = self._primary_toolbar.entry.is_focus() + if key_name == 'c' and is_entry_focused: + self._primary_toolbar.entry.copy_clipboard() + elif key_name == 'v' and is_entry_focused: + self._primary_toolbar.entry.paste_clipboard() + if key_name == 'd': self._add_link() elif key_name == 'f': |