Carlos Garnacho ca095acd34 theme: Update OSK theme ...

Enter/shift/layout/hide buttons have been made to use our own assets, key
labels have been made slightly bigger, and incorrect padding has been
removed from the extended keys popovers.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/46

2018-02-15 21:30:54 +01:00

115 lines

4.3 KiB

XML

Raw Blame History