[gnome-documents] properties: use window title instead of additional label for the dialog

[Cosimo Cecchi <cosimoc src gnome org>]

commit 5952bb89f073dc2589423f2b5be597dc09dc7b22
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Wed Sep 26 11:52:21 2012 -0400

    properties: use window title instead of additional label for the dialog
    
    https://bugzilla.gnome.org/show_bug.cgi?id=684866

 src/properties.js |    9 +--------
 1 files changed, 1 insertions(+), 8 deletions(-)
---
diff --git a/src/properties.js b/src/properties.js
index 1c840fb..44cfd79 100644
--- a/src/properties.js
+++ b/src/properties.js
@@ -54,6 +54,7 @@ const PropertiesDialog = new Lang.Class({
                                         modal: true,
                                         destroy_with_parent: true,
                                         default_width: 400,
+                                        title: _("Properties"),
                                         hexpand: true });
         this.widget.add_button(_("Done"), Gtk.ResponseType.OK);
 
@@ -69,14 +70,6 @@ const PropertiesDialog = new Lang.Class({
         let contentArea = this.widget.get_content_area();
         contentArea.pack_start(grid, true, true, 2);
 
-        // Properties dialog heading
-        let str = '<span size="large"><b>' + _("Properties") + '</b></span>';
-        this._message = new Gtk.Label ({ label: str,
-                                         halign: Gtk.Align.CENTER,
-                                         use_markup: true,
-                                         hexpand: false });
-        grid.attach (this._message, 1, 0, 1, 1);
-
         // Title item
         this._title = new Gtk.Label({ label: _("Title"),
                                       halign: Gtk.Align.END });