diff options
Diffstat (limited to 'data/session-properties.ui')
| -rw-r--r-- | data/session-properties.ui | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/data/session-properties.ui b/data/session-properties.ui index fef715c..b162a15 100644 --- a/data/session-properties.ui +++ b/data/session-properties.ui @@ -141,6 +141,21 @@ <property name="position">1</property> </packing> </child> + <child> + <object class="GtkCheckButton" id="session_properties_show_hidden_toggle"> + <property name="label" translatable="yes">_Show hidden</property> + <property name="visible">True</property> + <property name="can_focus">True</property> + <property name="receives_default">False</property> + <property name="use_underline">True</property> + <property name="draw_indicator">True</property> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">True</property> + <property name="position">2</property> + </packing> + </child> </object> </child> <child type="tab"> |