DevTools: settings of custom devtools should not interfere with bundled devtools

third_party/WebKit/Source/devtools/front_end/host/Platform.js

Index: third_party/WebKit/Source/devtools/front_end/host/Platform.js
diff --git a/third_party/WebKit/Source/devtools/front_end/host/Platform.js b/third_party/WebKit/Source/devtools/front_end/host/Platform.js
index 7b80c2348bd56ab16f1d2d6b67b7ffdde26446b8..0f8a86bc50adae47f2663ced28df4d9fd7e08a64 100644
--- a/third_party/WebKit/Source/devtools/front_end/host/Platform.js
+++ b/third_party/WebKit/Source/devtools/front_end/host/Platform.js
@@ -55,6 +55,15 @@ WebInspector.isWin = function() {
 };
 
 /**
+ * @return {boolean}
+ */
+WebInspector.isCustomDevtoolsFrontend = function() {
+  if (typeof WebInspector._isCustomDevtoolsFronend === 'undefined')
+    WebInspector._isCustomDevtoolsFronend = window.location.toString().startsWith('chrome-devtools://devtools/custom/');
+  return WebInspector._isCustomDevtoolsFronend;
+};
+
+/**
  * @return {string}
  */
 WebInspector.fontFamily = function() {