Dash to Panel (my favourite GNOME Shell extension) has a slick new trick up its sleeve…

I use dash to panel sometimes but the intelligent hide for the panel is buggy 😏

Sign in to participate in the conversation

For people who care about, support, or build Free, Libre, and Open Source Software (FLOSS).