fix(ui): profiles panel is all yellow (GoogleChromeLabs#71)

ekystra · Jul 28, 2018 · 5462a41 · 5462a41
1 parent 1ab22ef
commit 5462a41
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/front_end/ndb/NdbMain.js b/front_end/ndb/NdbMain.js
@@ -606,3 +606,11 @@ SDK.DebuggerModel.prototype.setBreakpointByURL = async function(url, lineNumber,
 SDK.Target.prototype.decorateLabel = function(label) {
   return this.name();
 };
+
+// Front-end does not respect modern toggle semantics, patch it.
+var originalToggle = DOMTokenList.prototype.toggle;
+DOMTokenList.prototype.toggle = function(token, force) {
+  if (arguments.length === 1)
+    force = !this.contains(token);
+  return originalToggle.call(this, token, !!force);
+};