OK, "solved" in #gedit:
pbor: toobaz: it is in the AppMenu of gnome shell now
pbor: click on "gedit" near Activities in the top left
So,
1) it indeed works as before for users _not_ running gnome-shell,
2) you are in problems if you, as me, are using the currently available
version of the following extension (and possible others):
https://extensions.gnome.org/extension/25/window-list/
In that case, disable it and wait for the update (or grab it from
github).
Jason, can you confirm that's also your case?
Pietro
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
