[gnome-documents/gnome-3-12] places: Use GtkStack, not GtkContainer API to add the pages

[Debarshi Ray <debarshir src gnome org>]

commit 5be811e9d0684d0ac1670e7446d760c1542f4133
Author: Debarshi Ray <debarshir gnome org>
Date:   Mon Mar 31 13:32:25 2014 +0200

    places: Use GtkStack, not GtkContainer API to add the pages
    
    https://bugzilla.gnome.org/show_bug.cgi?id=727267

 src/places.js |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)
---
diff --git a/src/places.js b/src/places.js
index 4703728..dabe99d 100644
--- a/src/places.js
+++ b/src/places.js
@@ -111,7 +111,6 @@ const PlacesDialog = new Lang.Class({
 
     _addPage: function(widget) {
         widget.document_model = this._model;
-        this._stack.add(widget);
-        this._stack.child_set_property(widget, 'title', widget.name);
+        this._stack.add_titled(widget, widget.name, widget.name);
     }
 });