Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell-extensions
Merge requests
!253
window-list: Updated CSS to look more modern
Code
Review changes
Check out branch
Download
Patches
Plain diff
Alexander Weichart
requested to merge
AlexW00/gnome-shell-extensions:main
into
main
May 16, 2023
Overview
3
Commits
1
Pipelines
17
Changes
1
Expand
I updated the CSS so that it looks more modern and consistent with the modern Gnome theme.
before
after
Edited
May 16, 2023
by
Alexander Weichart
Merge request reports