Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
extensions.gnome.org-112
92188723
·
README: update copyright
·
Feb 12, 2023
extensions.gnome.org-111
c1baff5b
·
Exclude desktop DING windows (#395)
·
Dec 10, 2022
extensions.gnome.org-110
03c25d50
·
Change searchbar in overview to show at full height (#394)
·
Dec 03, 2022
extensions.gnome.org-109
a634280e
·
Add support for GNOME 43
·
Sep 26, 2022
extensions.gnome.org-108
74cc28b5
·
Merge pull request #356 from jdoe0000000/fix-stuck-panel
·
Jul 25, 2022
extensions.gnome.org-107
228bea32
·
Merge pull request #353 from jdoe0000000/notebook-vexpand
·
Mar 23, 2022
extensions.gnome.org-105
f891cb42
·
Merge pull request #351 from Microwave-WYB/keep-round-corners
·
Mar 22, 2022
extensions.gnome.org-106
f891cb42
·
Merge pull request #351 from Microwave-WYB/keep-round-corners
·
Mar 22, 2022
extensions.gnome.org-104
5f75ef15
·
Merge pull request #347 from Vistaus/master
·
Mar 17, 2022