Settings: settings change reinits extension.
tree799f72e716cee34619827467c1adc58a166c6af3
-rw-r--r-- 32 .gitignore
-rw-r--r-- 504 Makefile
-rw-r--r-- 1246 extension.js
-rw-r--r-- 810 lib.js
-rw-r--r-- 338 metadata.json
-rw-r--r-- 3741 mixer.js
-rw-r--r-- 1794 panel.js
-rw-r--r-- 3331 prefs.js
drwxr-xr-x - schemas
-rw-r--r-- 271 settings.js
-rw-r--r-- 39 stylesheet.css
-rw-r--r-- 2354 widget.js