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):



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

A commit referencing this issue has landed:

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

Chrome 32 / 44 / 48 / Windows 8
Opera 24 / 28 / Windows 8
Chrome 44 / Ubuntu 14.04

Add Comment

Modify Ticket

Change Properties
as closed .
The resolution will be deleted. Next status will be 'reopened'.
to The owner will be changed from sebastian.
Note: See TracTickets for help on using tickets.