[gnome-builder] workbench: use help-browser-symbolic for documentation section for now.

[Christian Hergert <chergert src gnome org>]

commit d77410362f3bbf2b4b10255a856f3522b78ce35c
Author: Christian Hergert <christian hergert me>
Date:   Tue Sep 9 00:02:26 2014 -0700

    workbench: use help-browser-symbolic for documentation section for now.

 src/devhelp/gb-devhelp-workspace.c |    3 ---
 src/resources/ui/gb-workbench.ui   |    2 +-
 2 files changed, 1 insertions(+), 4 deletions(-)
---
diff --git a/src/devhelp/gb-devhelp-workspace.c b/src/devhelp/gb-devhelp-workspace.c
index 3f750c6..2f3f3c6 100644
--- a/src/devhelp/gb-devhelp-workspace.c
+++ b/src/devhelp/gb-devhelp-workspace.c
@@ -169,9 +169,6 @@ gb_devhelp_workspace_init (GbDevhelpWorkspace *workspace)
 
   priv = workspace->priv;
 
-  gb_workspace_set_icon_name (GB_WORKSPACE (workspace), "devhelp");
-  gb_workspace_set_title (GB_WORKSPACE (workspace), _ ("Documentation"));
-
   priv->book_manager = dh_book_manager_new ();
 
   priv->paned = g_object_new (GTK_TYPE_PANED,
diff --git a/src/resources/ui/gb-workbench.ui b/src/resources/ui/gb-workbench.ui
index bf5647e..f11f69e 100644
--- a/src/resources/ui/gb-workbench.ui
+++ b/src/resources/ui/gb-workbench.ui
@@ -148,7 +148,7 @@
               </object>
               <packing>
                 <property name="name">devhelp</property>
-                <property name="icon_name">devhelp</property>
+                <property name="icon_name">help-browser-symbolic</property>
                 <property name="title" translatable="yes">Documentation</property>
               </packing>
             </child>