Bug#950713: gnome-shell-extensions: window-list: keeps disappearing: TypeError: Main.windowPicker is undefined

Jeremy Bícha jeremy.bicha at canonical.com
Sun Sep 15 01:21:26 BST 2024

Previous message (by thread): Processing of gnome-shell-extensions_47.0-1_all.changes
Next message (by thread): Bug#810571: marked as done (gnome-shell-extensions: Apps menu fails with "Error: can't convert event.get_time(...) to an integer")
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Paul,

Are you still experiencing this bug?

Thank you,
Jeremy Bícha

Previous message (by thread): Processing of gnome-shell-extensions_47.0-1_all.changes
Next message (by thread): Bug#810571: marked as done (gnome-shell-extensions: Apps menu fails with "Error: can't convert event.get_time(...) to an integer")
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pkg-gnome-maintainers mailing list