src/extension.js
src/prefs.js
data/org.gnome.shell.extensions.panel-osd.gschema.xml
data/panel-osd-settings.ui