diff options
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> |