[hotssh] ui: Use a GtkHeaderBar

[Colin Walters <walters src gnome org>]

commit c10dc25be966254d6f34c4a246f2669956d82ee6
Author: Colin Walters <walters verbum org>
Date:   Tue Oct 15 21:16:58 2013 -0400

    ui: Use a GtkHeaderBar
    
    Not that we're doing anything with it yet, but we'll think of
    something...

 src/window.ui |   10 ++++++++++
 1 files changed, 10 insertions(+), 0 deletions(-)
---
diff --git a/src/window.ui b/src/window.ui
index ed67e71..eb36bf9 100644
--- a/src/window.ui
+++ b/src/window.ui
@@ -7,6 +7,16 @@
     <property name="title" translatable="yes">HotSSH</property>
     <property name="default_width">600</property>
     <property name="default_height">400</property>
+    <child type="titlebar">
+      <object class="GtkHeaderBar" id="header-bar">
+        <property name="visible">True</property>
+        <property name="can-focus">False</property>
+        <property name="show-close-button">True</property>
+        <style>
+          <class name="titlebar"/>
+        </style>
+      </object>
+    </child>
     <child>
       <object class="GtkNotebook" id="toplevel_notebook">
         <property name="visible">True</property>