[gnome-shell-extensions/wip/fmuellner/gtk4: 8/11] user-theme: Stop using header func for separators

[Marge Bot <marge-bot src gnome org>]

commit 53f5a92dc8de814d97f7970af05ce675a6bd7350
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Apr 15 23:32:20 2020 +0200

    user-theme: Stop using header func for separators
    
    GTK4 provides built-in support for this common pattern, so use
    that instead.
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/148>

 extensions/user-theme/prefs.js | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)
---
diff --git a/extensions/user-theme/prefs.js b/extensions/user-theme/prefs.js
index a36be26..b9c12fa 100644
--- a/extensions/user-theme/prefs.js
+++ b/extensions/user-theme/prefs.js
@@ -30,6 +30,7 @@ class UserThemePrefsWidget extends Gtk.ScrolledWindow {
 
         this._list = new Gtk.ListBox({
             selection_mode: Gtk.SelectionMode.NONE,
+            show_separators: true,
             halign: Gtk.Align.CENTER,
             valign: Gtk.Align.START,
             hexpand: true,
@@ -39,7 +40,6 @@ class UserThemePrefsWidget extends Gtk.ScrolledWindow {
             margin_bottom: 60,
         });
         this._list.get_style_context().add_class('frame');
-        this._list.set_header_func(this._updateHeader.bind(this));
         box.append(this._list);
 
         this._actionGroup = new Gio.SimpleActionGroup();
@@ -123,12 +123,6 @@ class UserThemePrefsWidget extends Gtk.ScrolledWindow {
 
         return fileInfos.map(info => info.get_name());
     }
-
-    _updateHeader(row, before) {
-        if (!before || row.get_header())
-            return;
-        row.set_header(new Gtk.Separator());
-    }
 });
 
 const ThemeRow = GObject.registerClass(