For me, i think app icon resize option in settings could be it

  • IceSoup@sopuli.xyz
    link
    fedilink
    English
    arrow-up
    4
    arrow-down
    1
    ·
    3 days ago

    I have wondered what percentage of Gnome users use either dash to dock or dash to panel. At this point I think they should both be options in the stock settings app.

        • HolidayGreed@sh.itjust.works
          link
          fedilink
          English
          arrow-up
          1
          ·
          1 day ago

          That’s really surprising. I’m a regular reader of omgubuntu, and they frequently post about popular gnome extensions. Would I have heard of it outside of this source 🤔 I think probably not. So perhaps I shouldn’t be so surprised.