diff options
| author | spuhpointer <[email protected]> | 2014-09-10 10:04:27 +0200 |
|---|---|---|
| committer | Stefano Karapetsas <[email protected]> | 2014-09-10 10:15:22 +0200 |
| commit | a6a5774c681f88ebc56b86e2492697549308c52a (patch) | |
| tree | 7de58233f20437b4e63477decae65eb26398bab9 /src/profile-preferences.ui | |
| parent | 0442355666d4179ef22557149410f89ab240bdff (diff) | |
| download | mate-terminal-a6a5774c681f88ebc56b86e2492697549308c52a.tar.bz2 mate-terminal-a6a5774c681f88ebc56b86e2492697549308c52a.tar.xz | |
Added option to copy selection to clipboard
Diffstat (limited to 'src/profile-preferences.ui')
| -rw-r--r-- | src/profile-preferences.ui | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/profile-preferences.ui b/src/profile-preferences.ui index 31a85c2..f278299 100644 --- a/src/profile-preferences.ui +++ b/src/profile-preferences.ui @@ -458,6 +458,24 @@ </packing> </child> <child> + <object class="GtkCheckButton" id="copy-checkbutton"> + <property name="visible">True</property> + <property name="can_focus">True</property> + <property name="label" translatable="yes">Copy selected text into _clipboard</property> + <property name="use_underline">True</property> + <property name="relief">GTK_RELIEF_NORMAL</property> + <property name="focus_on_click">True</property> + <property name="active">False</property> + <property name="inconsistent">False</property> + <property name="draw_indicator">True</property> + </object> + <packing> + <property name="padding">0</property> + <property name="expand">False</property> + <property name="fill">False</property> + </packing> + </child> + <child> <object class="GtkHBox" id="hbox147"> <property name="visible">True</property> <property name="homogeneous">False</property> |