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

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

 /*
  * Copyright (C) 2014 Google Inc.  All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
  * 1.  Redistributions of source code must retain the above copyright
  *     notice, this list of conditions and the following disclaimer.
  * 2.  Redistributions in binary form must reproduce the above copyright
@@ skipping 37 matching lines @@
  * @return {boolean}
  */
 WebInspector.isWin = function() {
   if (typeof WebInspector._isWin === 'undefined')
     WebInspector._isWin = WebInspector.platform() === 'windows';
 
   return WebInspector._isWin;
 };
 
 /**
+ * @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() {
   if (WebInspector._fontFamily)
     return WebInspector._fontFamily;
   switch (WebInspector.platform()) {
     case 'linux':
       WebInspector._fontFamily = 'Ubuntu, Arial, sans-serif';
       break;
     case 'mac':
@@ skipping 18 matching lines @@
       break;
     case 'mac':
       WebInspector._monospaceFontFamily = 'Menlo, monospace';
       break;
     case 'windows':
       WebInspector._monospaceFontFamily = 'Consolas, monospace';
       break;
   }
   return WebInspector._monospaceFontFamily;
 };