Florian Müllner f71da9e843 window-list: Replace WorkspaceBackground as well ...

The shell now scales down the backgrounds and adds a rounded corner
clip. Undo both those changes with another override.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/160>

2021-02-24 01:24:11 +01:00

..

classic.css

window-list: Show previews in workspace switcher

2019-07-19 13:16:40 +02:00

extension.js

window-list: Adjust to OSK changes

2021-02-24 01:24:11 +01:00

meson.build

window-list: Split out workspaceIndicator

2019-07-19 13:11:09 +02:00

metadata.json.in

meta: Update description note for reporting bugs

2017-12-01 21:04:02 +01:00

org.gnome.shell.extensions.window-list.gschema.xml

window-list: Support showing windows from all workspaces

2019-08-09 22:20:43 +00:00

prefs.js

window-list: Port to GTK4

2021-01-14 14:40:55 +01:00

stylesheet.css

window-list: Drop height override

2021-01-18 22:43:52 +01:00

windowPicker.js

window-list: Replace WorkspaceBackground as well

2021-02-24 01:24:11 +01:00

workspaceIndicator.js

window-list: Add tooltips to workspace thumbnails

2021-01-20 23:58:13 +01:00