diff options
Diffstat (limited to 'src/resources/prefs-dialog.ui')
-rw-r--r-- | src/resources/prefs-dialog.ui | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/resources/prefs-dialog.ui b/src/resources/prefs-dialog.ui index 63ca72e7f..22faecf73 100644 --- a/src/resources/prefs-dialog.ui +++ b/src/resources/prefs-dialog.ui @@ -284,6 +284,24 @@ <property name="position">1</property> </packing> </child> + <child> + <object class="GtkCheckButton" id="extract_downloaded_archives_checkbutton"> + <property name="label" translatable="yes">Automatically e_xtract downloaded archives</property> + <property name="use_action_appearance">False</property> + <property name="visible">True</property> + <property name="can_focus">True</property> + <property name="receives_default">False</property> + <property name="use_action_appearance">False</property> + <property name="use_underline">True</property> + <property name="xalign">0.5</property> + <property name="draw_indicator">True</property> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">False</property> + <property name="position">2</property> + </packing> + </child> </object> </child> </object> |