12 commits

Author	SHA1	Message	Date
gorhill	f328687663	implement user styles in webext platform	2017-07-23 11:33:39 -04:00
gorhill	bccd926a09	remove superfluous entries	2017-07-21 10:11:07 -04:00
gorhill	f5ef83719c	address #2806	2017-07-21 07:48:50 -04:00
gorhill	a8382e821d	work around for #2734 until fixed in Nightly	2017-07-03 09:51:34 -04:00
gorhill	78d9c4d1c5	implement opening logger with kbd shortcut	2017-05-28 09:40:26 -04:00
gorhill	39aeaa12a7	new feature: element zapper	2017-05-27 11:51:24 -04:00
gorhill	32f317ab85	fix as per email feedback from @andymckay	2017-05-18 18:52:11 -04:00
gorhill	0c804116a8	privacy API now supported in webext	2017-03-02 12:49:59 -05:00
gorhill	ad5fb9c8da	fix webext version	2016-11-14 12:03:13 -05:00
gorhill	8dd6559759	new revision for release candidate	2016-10-19 11:15:10 -04:00
gorhill	fff8e71ac0	adapt for Firefox webext / chrome.privacy not available yet	2016-10-15 16:06:33 -04:00
gorhill	607e44b2d6	new WebExtensions platform: starting point = Chromium platform	2016-10-15 08:35:51 -04:00