[gnome-shell-extensions] window-list: Do not pick up transparency from top bar

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

commit 61a2e5ab9e6bb4297e948589b4da158549bb2407
Author: Florian Müllner <fmuellner gnome org>
Date:   Mon May 29 22:36:18 2017 +0200

    window-list: Do not pick up transparency from top bar
    
    The top bar now uses a translucent style when no windows are in its
    proximity. As translucency looks odd in some situations (in particular
    with maximized windows), we don't want to pick it up unconditionally.
    If someone fancies to integrate with the top bar's proximity tracking,
    they are welcome to have a go, but for now we just restore the former
    solid style unconditionally.

 extensions/window-list/extension.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index 4d1f83c..b804d3d 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -781,7 +781,7 @@ const WindowList = new Lang.Class({
         this._monitor = monitor;
 
         this.actor = new St.Widget({ name: 'panel',
-                                     style_class: 'bottom-panel',
+                                     style_class: 'bottom-panel solid',
                                      reactive: true,
                                      track_hover: true,
                                      layout_manager: new Clutter.BinLayout()});