[gnome-panel] toplevel: rename property

[Alberts Muktupāvels <muktupavels src gnome org>]

commit 29c331f7b5607af749fc5dee4e16cc1f05da071e
Author: Alberts Muktupāvels <alberts muktupavels gmail com>
Date:   Fri Oct 7 23:07:43 2016 +0300

    toplevel: rename property
    
    Property `name` is already used by GtkWidget!

 gnome-panel/panel-toplevel.c |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/gnome-panel/panel-toplevel.c b/gnome-panel/panel-toplevel.c
index c44066f..8d47e33 100644
--- a/gnome-panel/panel-toplevel.c
+++ b/gnome-panel/panel-toplevel.c
@@ -3723,7 +3723,7 @@ panel_toplevel_class_init (PanelToplevelClass *klass)
                gobject_class,
                PROP_NAME,
                g_param_spec_string (
-                       "name",
+                       "panel-name",
                        "Name",
                        "The name of this panel",
                        NULL,
@@ -4301,7 +4301,7 @@ panel_toplevel_bind_gsettings (PanelToplevel *toplevel)
        g_settings_bind (toplevel->priv->settings,
                         PANEL_TOPLEVEL_NAME_KEY,
                         toplevel,
-                        "name",
+                        "panel-name",
                         G_SETTINGS_BIND_DEFAULT|G_SETTINGS_BIND_NO_SENSITIVITY);
 
        g_settings_bind (toplevel->priv->settings,
@@ -4448,7 +4448,7 @@ panel_toplevel_set_name (PanelToplevel *toplevel,
 
        panel_toplevel_update_name (toplevel);
 
-       g_object_notify (G_OBJECT (toplevel), "name");
+       g_object_notify (G_OBJECT (toplevel), "panel-name");
 }
 
 const char *