Daniel Ruiz de Alegría 235ceafd71 Gnome-Shell: remove unnecessary key icons

2020-04-20 15:27:11 +02:00

..

calendar-today.svg

…

checkbox-dark.svg

…

checkbox-focused-dark.svg

…

checkbox-focused.svg

…

checkbox-off-dark.svg

…

checkbox-off-focused-dark.svg

…

checkbox-off-focused.svg

…

checkbox-off.svg

…

checkbox.svg

…

close-window-active.svg

…

close-window-hover.svg

…

close-window.svg

…

dash-placeholder.svg

…

kali-dragon-dark.svg

…

kali-dragon.svg

…

toggle-off-dark.svg

Gnome-Shell: increase switch contrast

2020-04-20 15:26:25 +02:00

toggle-off.svg

…

toggle-on-dark.svg

Gnome-Shell: increase switch contrast

2020-04-20 15:26:25 +02:00

toggle-on.svg

…

view-grid-symbolic-checked.svg

…

view-grid-symbolic-dark.svg

…

view-grid-symbolic.svg

…