Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
extensions.gnome.org-117
51276c90
·
Merge branch 'romgrk1-main-patch-81940' into 'main'
·
Apr 29, 2024
extensions.gnome.org-116
101be8e4
·
Code cleanup
·
Mar 24, 2024
extensions.gnome.org-115
e6d0fcc0
·
Merge branch 'gnome-45' into 'main'
·
Mar 23, 2024
extensions.gnome.org-114
17e2eb30
·
convenience: import Meta for 3.38 support
·
Jun 02, 2023
extensions.gnome.org-113
4d35a203
·
Merge branch 'tr_gnome_44' into 'main'
·
May 26, 2023
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