[gnome-system-monitor] Hide titlebar when maximized

[Stefano Facchini <sfacchini src gnome org>]

commit c359623cebf32d3573d6bb0f6d3814ee5606f562
Author: Stefano Facchini <stefano facchini gmail com>
Date:   Wed Jul 31 01:49:32 2013 +0200

    Hide titlebar when maximized

 data/interface.ui |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/data/interface.ui b/data/interface.ui
index 5bcb19d..ccf6dac 100644
--- a/data/interface.ui
+++ b/data/interface.ui
@@ -7,6 +7,7 @@
     <property name="default_width">440</property>
     <property name="default_height">495</property>
     <property name="has_resize_grip">False</property>
+    <property name="hide_titlebar_when_maximized">True</property>
     <child>
       <object class="GtkBox" id="main_box">
         <property name="visible">True</property>