Unified Diff: options.html
Issue 29338208:
Issue 3796 - Added preference to remove developer tools panel (Closed)
Patch Set:
Created March 14, 2016, 1:07 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« lib/prefs.js ('K')
|
« lib/prefs.js ('k')
|
options.js » ('j')
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: options.html |
| =================================================================== |
| --- a/options.html |
| +++ b/options.html |
| @@ -282,6 +282,9 @@ |
| <div id="shouldShowBlockElementMenuContainer"> |
| <input type="checkbox" id="shouldShowBlockElementMenu" /><label for="shouldShowBlockElementMenu" class="i18n_show_block_element_menu"></label> |
| </div> |
| + <div id="showDevtoolsPanelContainer"> |
| + <input type="checkbox" id="show_devtools_panel" /><label for="show_devtools_panel" class="i18n_show_devtools_panel"></label> |
| + </div> |
| <div id="shouldShowNotificationsContainer" data-section="notifications"> |
| <input type="checkbox" id="shouldShowNotifications" /><label for="shouldShowNotifications" class="i18n_overlay_shownotifications_label"></label> |
| </div> |
