Xiaoguang Wang d39c1fd685 windowPicker: Wrong signal ID _nWorkspacesNotifyId ...

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/106


(cherry picked from commit f9aaa732b2)

2020-04-10 14:31:24 +00:00

..

classic.css

window-list: Show previews in workspace switcher

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

extension.js

window-list: Force single-line window titles

2020-01-17 15:03:54 +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

cleanup: Always use type-safe comparisons

2019-08-21 15:13:44 +00:00

stylesheet.css

window-list: Show previews in workspace switcher

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

windowPicker.js

windowPicker: Wrong signal ID _nWorkspacesNotifyId

2020-04-10 14:31:24 +00:00

workspaceIndicator.js

window-list: Exclude DESKTOP windows from window previews

2019-11-21 21:42:16 +00:00