kkapsner 8cec88f5f7 Restructuring of main.js.

2017-07-07 08:50:23 +02:00

..

buildPrefInputs.js

Fixed: options page did not update and checkboxes were not displayed.

2017-07-02 12:18:20 +02:00

options.css

Added options page for webextension.

2017-06-25 22:11:28 +02:00

options.html

Fixed: options page did not update and checkboxes were not displayed.

2017-07-02 12:18:20 +02:00

options.js

Restructuring of main.js.

2017-07-07 08:50:23 +02:00