[gnome-builder] plugins: update icons for pane children

[Christian Hergert <chergert src gnome org>]

commit 90f49d9785105b51405b53462bcde50083ff76ef
Author: Christian Hergert <christian hergert me>
Date:   Sun Jun 7 17:38:45 2015 -0700

    plugins: update icons for pane children

 plugins/devhelp/gb-devhelp-panel.c |    5 +----
 plugins/symbol-tree/symbol-tree.c  |    2 +-
 2 files changed, 2 insertions(+), 5 deletions(-)
---
diff --git a/plugins/devhelp/gb-devhelp-panel.c b/plugins/devhelp/gb-devhelp-panel.c
index 6652180..1ff5f26 100644
--- a/plugins/devhelp/gb-devhelp-panel.c
+++ b/plugins/devhelp/gb-devhelp-panel.c
@@ -64,8 +64,7 @@ gb_devhelp_panel_load (GbWorkbenchAddin *addin)
   workspace = gb_workbench_get_workspace (self->workbench);
   pane = gb_workspace_get_right_pane (GB_WORKSPACE (workspace));
   gb_workspace_pane_add_page (GB_WORKSPACE_PANE (pane), GTK_WIDGET (self),
-                              _("Documentation"),
-                              GTK_STOCK_HELP);
+                              _("Documentation"), "help-contents-symbolic");
 
   gtk_widget_show (GTK_WIDGET (self));
 }
@@ -98,8 +97,6 @@ gb_devhelp_panel_get_property (GObject    *object,
                                GValue     *value,
                                GParamSpec *pspec)
 {
-  GbDevhelpPanel *self = GB_DEVHELP_PANEL (object);
-
   switch (prop_id)
     {
     default:
diff --git a/plugins/symbol-tree/symbol-tree.c b/plugins/symbol-tree/symbol-tree.c
index 2629d19..5d78565 100644
--- a/plugins/symbol-tree/symbol-tree.c
+++ b/plugins/symbol-tree/symbol-tree.c
@@ -64,7 +64,7 @@ symbol_tree_load (GbWorkbenchAddin *addin)
   gb_workspace_pane_add_page (GB_WORKSPACE_PANE (right_pane),
                               GTK_WIDGET (self),
                               _("Symbol Tree"),
-                              "flag-symbolic");
+                              "lang-function-symbolic");
 }
 
 static void