Open orschiro opened 11 years ago
Did my push last night fix the problem?
No. I cloned the repo to .local/share/gnome-shell/extensions
but it does not even show up in the list of installed extensions.
I have the same problem is there any way to fix that?
With the recent update to gnome-shell 3.8.4-1 windowlist no longer works.
Can anyone confirm that?