Conversation

Notices

1. Dave M7TLB 🐞🇺🇦🌻 (thelovebug@mastodon.me.uk)'s status on Saturday, 04-Feb-2023 20:44:50 UTC Dave M7TLB 🐞🇺🇦🌻

   in reply to

   • Craig Maloney ☕

   @craigmaloney
   I did have a look through the GNOME Extensions site, and couldn't find anything that already exists to reduce the size of the headerbar. This surprises me, as I've heard a number of people complaining about the same thing

   • Craig Maloney ☕ (craigmaloney@octodon.social)'s status on Saturday, 04-Feb-2023 20:44:55 UTC Craig Maloney ☕

     in reply to

     Apparently the correct answer, like most things GNOME is to either suffer in silence or tweak some CSS file somewhere and hope things don't break.

     Which choice I'll make is left to the reader's imagination.

     Thank you!

     (Note: Not a place to air grievances about GNOME, recommend another desktop environment, or pine for the fjords.)

   • Craig Maloney ☕ (craigmaloney@octodon.social)'s status on Saturday, 04-Feb-2023 20:44:56 UTC Craig Maloney ☕

     Just updated one of my machines to Ubuntu 20.04 from 18.04 and I''m remembering one of the main reasons I didn't make the jump: the titlebar. I viscerally hate that thick titlebar.

     I know this is asking for trouble, but my specific question is this:

     Does ubuntu 22.04 make the titlebar less thick?

     Note: Specific question above. Recommend me alternatives at your peril. Doubly so for an Ubuntu alternative (no [a-z]ubuntus, no Mint, none of that).

     Don't make me regret this.