[gnome-documents] Drop Gd.HeaderToggleButton

[Debarshi Ray <debarshir src gnome org>]

commit 3f49decef9266088a69763991d691f3bf46aa318
Author: Debarshi Ray <debarshir gnome org>
Date:   Thu Jul 24 17:23:22 2014 +0200

    Drop Gd.HeaderToggleButton
    
    A Gd.HeaderToggleButton is a Gtk.ToggleButton that either has a 16px
    icon, tooltip text and the image-button style class; or a label and the
    text-button style class.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=733683

 src/mainToolbar.js |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/src/mainToolbar.js b/src/mainToolbar.js
index 73cfbf8..9adea27 100644
--- a/src/mainToolbar.js
+++ b/src/mainToolbar.js
@@ -75,9 +75,9 @@ const MainToolbar = new Lang.Class({
     },
 
     addSearchButton: function() {
-        let searchButton = new Gd.HeaderToggleButton({ symbolic_icon_name: 'edit-find-symbolic',
-                                                       label: _("Search"),
-                                                       action_name: 'app.search' });
+        let searchButton = new Gtk.ToggleButton({ image: new Gtk.Image ({ icon_name: 'edit-find-symbolic' }),
+                                                  tooltip_text: _("Search"),
+                                                  action_name: 'app.search' });
         this.toolbar.pack_end(searchButton);
         return searchButton;
     },