Opened on 03/14/2016 at 01:06:08 PM
Closed on 03/15/2016 at 02:10:06 PM
Last modified on 04/20/2016 at 02:35:18 AM
#3796 closed change (fixed)
Add preference to remove developer tools panel
| Reported by: | sebastian | Assignee: | sebastian |
|---|---|---|---|
| Priority: | P3 | Milestone: | Adblock-Plus-1.12-for-Chrome-Opera-Safari |
| Module: | Platform | Keywords: | |
| Cc: | Blocked By: | ||
| Blocking: | Platform: | Unknown / Cross platform | |
| Ready: | yes | Confidential: | no |
| Tester: | Ross | Verified working: | yes |
| Review URL(s): | |||
Description
Background
With Adblock Plus 1.11 we introduced an "Adblock Plus" developer tools panel. However, some users don't want to have it in their developer tools. Therefore, we should add an option to remove the developer tools panel.
What to change
Add a preference to remove the developer tools panel and expose it on the options page.
Attachments (0)
Change History (4)
comment:1 Changed on 03/14/2016 at 01:07:19 PM by sebastian
- Review URL(s) modified (diff)
- Status changed from new to reviewing
comment:2 Changed on 03/15/2016 at 02:04:21 PM by abpbot
comment:3 Changed on 03/15/2016 at 02:10:06 PM by sebastian
- Milestone set to Adblock-Plus-for-Chrome-Opera-Safari-next
- Resolution set to fixed
- Status changed from reviewing to closed
comment:4 Changed on 04/20/2016 at 02:35:18 AM by Ross
- Tester changed from Unknown to Ross
- Verified working set
ABP 1.11.0.1597
Chrome 32 / 44 / 48 / Windows 8
Opera 24 / 28 / Windows 8
Chrome 44 / Ubuntu 14.04
Note: See
TracTickets for help on using
tickets.
A commit referencing this issue has landed:
https://hg.adblockplus.org/adblockpluschrome/rev/7e9920b20038