sound-theme-pika/debian/pika-theme-sound.gsettings-override

9 lines
141 B
Plaintext
Raw Normal View History

2023-03-28 15:32:37 +02:00
############
# sound settings #
############
[org.gnome.desktop.sound]
event-sounds = true
input-feedback-sounds = true
theme-name = 'pika'