25 Commits

Author	SHA1	Message	Date
Raymond Hill	2b460da748	rename "debian" target to more accurate "webext"	2018-04-27 12:39:43 -04:00
Raymond Hill	c9b14e201a	rename "webext" target to more accurate "firefox"	2018-04-27 12:37:33 -04:00
Raymond Hill	08495c42e9	complete "debian" as a target platform	2018-04-27 11:43:35 -04:00
Raymond Hill	17930cc778	fix #3474, #2823	2018-02-15 17:25:38 -05:00
Raymond Hill	689d18c54f	fix #2854	2018-01-08 14:29:39 -05:00
gorhill	387eaa0b21	fix #3185	2017-11-16 10:55:28 -05:00
gorhill	aa4cfbf201	use svg version also for favicons, meny entry	2017-11-11 07:55:37 -05:00
gorhill	fd5f63d850	fix #3196	2017-11-10 11:36:14 -05:00
gorhill	bbda2a9086	code review: preemptively address https://bugzilla.mozilla.org/show_bug.cgi?id=1408996#c9	2017-10-27 14:22:45 -04:00
gorhill	23487a643a	prepend vapi-usercss.js to contentscript.js in extension package	2017-10-24 12:40:58 -04:00
gorhill	e7e390d2e2	fix #3077	2017-10-01 07:56:28 -04:00
gorhill	ec3d1bfc88	fix "Preferences" button in about:addons (see https://www.ghacks.net/2017/09/29/firefox-adblock-plus-lost-millions-of-users-in-the-past-year/#comment-4233295)	2017-09-30 10:41:58 -04:00
gorhill	511d8a098e	fix #2945	2017-09-01 17:34:33 -04:00
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