87
Who uses pure GNOME (no extensions)
(lemdro.id)
From Wikipedia, the free encyclopedia
Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).
Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.
Community icon by Alpár-Etele Méder, licensed under CC BY 3.0
Not having a dock is one of my favorite things about gnome. I actually use an extension to hide the top bar too. There's just something so satisfying about having 100% usable space on screen. I get all the info back in the win-key overlay, so I don't really need that stuff on screen at all times.
explain please
When you hit the windows key (aka meta-key or super-key) it brings up the app launcher. You get a dock at the bottom with pinned or running apps (like a taskbar), and all of your open windows are presented in a sort of mini-version that lets you switch between them or move them between workspaces. There is a search bar that you can immediately type into to open any app with a .desktop file. There is also a button to bring up the app grid which shows your apps kind of like a mobile device's home screen.
That's what you meant with overlay!
I was confused because an Overlay is something like a Tooltip.
I personally would call this an Overview
Anyways, thanks for your answer! :)