this post was submitted on 25 Dec 2023
3 points (100.0% liked)

Gnome

2406 readers
1 users here now

The GNOME Project is a free and open source desktop and computing platform for open platforms like Linux that strives to be an easy and elegant way to use your computer. GNOME software is developed openly and ethically by both individual contributors and corporate partners, and is distributed under the GNU General Public License.

founded 2 years ago
MODERATORS
 

I have the intelligently hide dock option enabled, as i feel like it makes most apps feel less cluttered. Is there an extension to make hitting the "menu" key, or what would be the windows key if we weren't on linux, make the dock appear? Thank you in advance everyone! Happy holidays!

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here