Index: content/renderer/devtools/devtools_client.cc |
diff --git a/content/renderer/devtools/devtools_client.cc b/content/renderer/devtools/devtools_client.cc |
index edc31a3f368000e9f1a39e592d4084a0801b2eb9..bfd0aa64f15c0999b549ba98dc8923ecdda9c332 100644 |
--- a/content/renderer/devtools/devtools_client.cc |
+++ b/content/renderer/devtools/devtools_client.cc |
@@ -29,6 +29,9 @@ DevToolsClient::DevToolsClient( |
compatibility_script_(compatibility_script), |
web_tools_frontend_( |
WebDevToolsFrontend::create(main_render_frame->GetWebFrame(), this)) { |
+#if defined(DEBUG_DEVTOOLS) |
pfeldman
2016/10/08 01:01:44
open it, it is for us.
dgozman
2016/10/10 23:27:27
Done.
|
+ compatibility_script_ += "\n//# sourceURL=devtools_compatibility.js"; |
+#endif |
} |
DevToolsClient::~DevToolsClient() { |