../src/extension.js
../src/prefs.js
../data/panel-osd-settings.ui