Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(5540)

Unified Diff: chrome/browser/debugger/devtools_manager.h

Issue 117003: DevTools: Add 'Enable Developer Tools' option into the Advanced tab. Hide dev... (Closed) Base URL: svn://chrome-svn/chrome/trunk/src/
Patch Set: '' Created 11 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « chrome/app/generated_resources.grd ('k') | chrome/browser/debugger/devtools_manager.cc » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: chrome/browser/debugger/devtools_manager.h
===================================================================
--- chrome/browser/debugger/devtools_manager.h (revision 16977)
+++ chrome/browser/debugger/devtools_manager.h (working copy)
@@ -67,6 +67,8 @@
void SendAttachToAgent(RenderViewHost* inspected_rvh);
void SendDetachToAgent(RenderViewHost* inspected_rvh);
+ void EnableDevToolsInPrefs(RenderViewHost* inspected_rvh);
+
// These two maps are for tracking dependencies between inspected tabs and
// their DevToolsClientHosts. They are usful for routing devtools messages
// and allow us to have at most one devtools client host per tab. We use
« no previous file with comments | « chrome/app/generated_resources.grd ('k') | chrome/browser/debugger/devtools_manager.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698