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