Rietveld Code Review Tool
Help | Bug tracker | Discussion group | Source code

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.
Jump to:
View side-by-side diff with in-line comments
Download patch
« lib/prefs.js ('K') | « lib/prefs.js ('k') | options.js » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments 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>
« lib/prefs.js ('K') | « lib/prefs.js ('k') | options.js » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld