diff --git a/extensions/workspace-indicator/prefs.js b/extensions/workspace-indicator/prefs.js index 5d781620..374c14f6 100644 --- a/extensions/workspace-indicator/prefs.js +++ b/extensions/workspace-indicator/prefs.js @@ -39,8 +39,8 @@ class WorkspaceSettingsWidget extends Gtk.ScrolledWindow { this._list = new Gtk.ListBox({ selection_mode: Gtk.SelectionMode.NONE, valign: Gtk.Align.START, + show_separators: true, }); - this._list.set_header_func(this._updateHeader.bind(this)); this._list.connect('row-activated', (l, row) => row.edit()); box.append(this._list); @@ -114,12 +114,6 @@ class WorkspaceSettingsWidget extends Gtk.ScrolledWindow { this._list.insert(new WorkspaceRow(n), newNames.indexOf(n)); }); } - - _updateHeader(row, before) { - if (!before || row.get_header()) - return; - row.set_header(new Gtk.Separator()); - } }); const WorkspaceRow = GObject.registerClass(