Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell-extensions
Merge requests
Open
0
Merged
7
Closed
0
All
7
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
classic: Cleanup unused/unnecessary styling
!222
· created
Mar 23, 2022
by
Florian Müllner
5. Classic
Merged
0
updated
Mar 24, 2022
classic: Remove padding from app menu
!167
· created
Mar 15, 2021
by
Florian Müllner
5. Classic
Merged
Approved
1
0
updated
Jul 18, 2021
More classic fixes
!160
· created
Feb 24, 2021
by
Florian Müllner
master
5. Classic
Merged
0
updated
Feb 24, 2021
window-list: Adjust to overview changes
!159
· created
Feb 12, 2021
by
Florian Müllner
master
5. Classic
5. window-list
Merged
0
updated
Feb 12, 2021
classic: Pre-generate stylesheet
!150
· created
Dec 28, 2020
by
Florian Müllner
master
5. Classic
Merged
0
updated
Dec 28, 2020
classic: Add 'horizontal-workspaces' extension
!72
· created
Jun 12, 2019
by
Florian Müllner
master
5. Classic
Merged
0
updated
Aug 26, 2021
Disable overview in classic session
!69
· created
Jun 12, 2019
by
Florian Müllner
master
5. Classic
Merged
0
updated
Aug 26, 2021