[gnome-builder] editor: inherit properties panel from dock widget

[Christian Hergert <chergert src gnome org>]

commit 412e648984c2f59db9ffc50a61841d0ad6070457
Author: Christian Hergert <chergert redhat com>
Date:   Fri Jul 14 17:52:48 2017 -0700

    editor: inherit properties panel from dock widget

 libide/editor/ide-editor-properties.c  |    4 ++--
 libide/editor/ide-editor-properties.h  |    4 ++--
 libide/editor/ide-editor-properties.ui |    5 ++++-
 3 files changed, 8 insertions(+), 5 deletions(-)
---
diff --git a/libide/editor/ide-editor-properties.c b/libide/editor/ide-editor-properties.c
index fe211c6..03906cf 100644
--- a/libide/editor/ide-editor-properties.c
+++ b/libide/editor/ide-editor-properties.c
@@ -39,7 +39,7 @@
 
 struct _IdeEditorProperties
 {
-  GtkBin               parent_instance;
+  DzlDockWidget        parent_instance;
 
   DzlSignalGroup      *buffer_signals;
 
@@ -67,7 +67,7 @@ enum {
   N_PROPS
 };
 
-G_DEFINE_TYPE (IdeEditorProperties, ide_editor_properties, GTK_TYPE_BIN)
+G_DEFINE_TYPE (IdeEditorProperties, ide_editor_properties, DZL_TYPE_DOCK_WIDGET)
 
 static GParamSpec *properties [N_PROPS];
 
diff --git a/libide/editor/ide-editor-properties.h b/libide/editor/ide-editor-properties.h
index 50a9b10..3938594 100644
--- a/libide/editor/ide-editor-properties.h
+++ b/libide/editor/ide-editor-properties.h
@@ -18,7 +18,7 @@
 
 #pragma once
 
-#include <gtk/gtk.h>
+#include <dazzle.h>
 
 #include "editor/ide-editor-view.h"
 
@@ -26,7 +26,7 @@ G_BEGIN_DECLS
 
 #define IDE_TYPE_EDITOR_PROPERTIES (ide_editor_properties_get_type())
 
-G_DECLARE_FINAL_TYPE (IdeEditorProperties, ide_editor_properties, IDE, EDITOR_PROPERTIES, GtkBin)
+G_DECLARE_FINAL_TYPE (IdeEditorProperties, ide_editor_properties, IDE, EDITOR_PROPERTIES, DzlDockWidget)
 
 GtkWidget *ide_editor_properties_new      (void);
 void       ide_editor_properties_set_view (IdeEditorProperties *self,
diff --git a/libide/editor/ide-editor-properties.ui b/libide/editor/ide-editor-properties.ui
index 0278c22..5b4db73 100644
--- a/libide/editor/ide-editor-properties.ui
+++ b/libide/editor/ide-editor-properties.ui
@@ -1,6 +1,9 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <interface>
-  <template class="IdeEditorProperties" parent="GtkBin">
+  <template class="IdeEditorProperties" parent="DzlDockWidget">
+    <property name="title" translatable="yes">Properties</property>
+    <property name="icon-name">document-properties-symbolic</property>
+    <property name="vexpand">true</property>
     <child>
       <object class="GtkBox">
         <property name="visible">true</property>