[Xfce4-commits] <xfce4-panel:master> Panel: Add option to disable struts in the dialog (bug#7202).

[Nick Schermer]

Updating branch refs/heads/master
         to e30cc60ed614c73647308c7c3d912927da8d7a93 (commit)
       from be44541780ba7c4fd32cf430e70b5aa3b4d9c328 (commit)

commit e30cc60ed614c73647308c7c3d912927da8d7a93
Author: Nick Schermer <nick at xfce.org>
Date:   Sun May 8 19:49:46 2011 +0200

    Panel: Add option to disable struts in the dialog (bug#7202).

 panel/panel-preferences-dialog.c     |    1 +
 panel/panel-preferences-dialog.glade |   14 ++++++++++++++
 2 files changed, 15 insertions(+), 0 deletions(-)

diff --git a/panel/panel-preferences-dialog.c b/panel/panel-preferences-dialog.c
index ffb71fd..82b2f9e 100644
--- a/panel/panel-preferences-dialog.c
+++ b/panel/panel-preferences-dialog.c
@@ -407,6 +407,7 @@ panel_preferences_dialog_bindings_update (PanelPreferencesDialog *dialog)
   panel_preferences_dialog_bindings_add (dialog, "span-monitors", "active");
   panel_preferences_dialog_bindings_add (dialog, "position-locked", "active");
   panel_preferences_dialog_bindings_add (dialog, "autohide", "active");
+  panel_preferences_dialog_bindings_add (dialog, "disable-struts", "active");
   panel_preferences_dialog_bindings_add (dialog, "size", "value");
   panel_preferences_dialog_bindings_add (dialog, "length", "value");
   panel_preferences_dialog_bindings_add (dialog, "length-adjust", "active");
diff --git a/panel/panel-preferences-dialog.glade b/panel/panel-preferences-dialog.glade
index 3b5a2e4..63f5a2f 100644
--- a/panel/panel-preferences-dialog.glade
+++ b/panel/panel-preferences-dialog.glade
@@ -272,6 +272,20 @@
                                     <property name="position">4</property>
                                   </packing>
                                 </child>
+                                <child>
+                                  <object class="GtkCheckButton" id="disable-struts">
+                                    <property name="label" translatable="yes">Don't _reserve space on borders</property>
+                                    <property name="visible">True</property>
+                                    <property name="can_focus">True</property>
+                                    <property name="receives_default">False</property>
+                                    <property name="tooltip_text" translatable="yes">Select this option if you want maximized windows to cover the area behind the panel. This only works when the panel is attached to a screen edge.</property>
+                                    <property name="use_underline">True</property>
+                                    <property name="draw_indicator">True</property>
+                                  </object>
+                                  <packing>
+                                    <property name="position">5</property>
+                                  </packing>
+                                </child>
                               </object>
                             </child>
                           </object>