[polari] userList: Temporarily disable header

[Florian Müllner <fmuellner src gnome org>]

commit 6dafc60663c1cd68e3496c6fab1190d9097aa5cc
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Feb 28 17:16:24 2014 +0100

    userList: Temporarily disable header
    
    For the time being we only have a single section, and the only
    additional information the header provides is now also presented
    more prominently in the user-list button. In other words, the
    header is pointless as-is, so just disable it for now.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=725403

 src/userList.js |    6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)
---
diff --git a/src/userList.js b/src/userList.js
index 817f54f..53f72af 100644
--- a/src/userList.js
+++ b/src/userList.js
@@ -317,7 +317,8 @@ const UserList = new Lang.Class({
         this.widget.add(this._list);
 
         this._list.set_selection_mode(Gtk.SelectionMode.NONE);
-        this._list.set_header_func(Lang.bind(this, this._updateHeader));
+        /* see https://bugzilla.gnome.org/show_bug.cgi?id=725403 */
+        //this._list.set_header_func(Lang.bind(this, this._updateHeader));
         this._list.set_filter_func(Lang.bind(this, this._filterRows));
         this._list.set_sort_func(Lang.bind(this, this._sort));
 
@@ -340,8 +341,11 @@ const UserList = new Lang.Class({
                      Lang.bind(this, this._onMemberRemoved));
         room.connect('member-joined',
                      Lang.bind(this, this._onMemberJoined));
+        /*
+        // see https://bugzilla.gnome.org/show_bug.cgi?id=725403
         room.connect('members-changed',
                      Lang.bind(this, this._onMembersChanged));
+        */
         room.connect('notify::channel',
                      Lang.bind(this, this._onChannelChanged));