Embed Notice

@wwarner Thank you!

But really? I've never heard of that renaming. And see very little sign of that when I search for '"workspaces overview" gnome'. What then would the list of tiny workspaces below the search bar be called?

Is there an official list of all the names somewhere? I think the Activities button has been rebranded also, after it became a visualization of the virtual desktops, but I couldn't find the new name.