• Contend6248@feddit.de
    link
    fedilink
    arrow-up
    3
    arrow-down
    1
    ·
    edit-2
    1 year ago

    I don’t know, with Gnome extensions you menage to change anything you’d want to and even more.

    Maybe not anything, but the options are there