• TheGrandNagus@lemmy.world
    link
    fedilink
    English
    arrow-up
    1
    ·
    7 months ago

    That’s a Pop addition, although you can easily use it on any other Gnome desktop by installing it as an extension