Skip to content

Instantly share code, notes, and snippets.

@evilpie
Created February 6, 2015 17:21
Show Gist options
  • Save evilpie/68802a3790743dde5f17 to your computer and use it in GitHub Desktop.
Save evilpie/68802a3790743dde5f17 to your computer and use it in GitHub Desktop.
diff --git a/browser/devtools/webconsole/console-output.js b/browser/devtools/webconsole/console-output.js
--- a/browser/devtools/webconsole/console-output.js
+++ b/browser/devtools/webconsole/console-output.js
@@ -831,16 +831,17 @@ Messages.Simple.prototype = Heritage.ext
if (this.element) {
return this;
}
let timestamp = new Widgets.MessageTimestamp(this, this.timestamp).render();
let icon = this.document.createElementNS(XHTML_NS, "span");
icon.className = "icon";
+ icon.title = this._severityNameCompat;
// Apply the current group by indenting appropriately.
// TODO: remove this once bug 778766 is fixed.
let indent = this._groupDepthCompat * COMPAT.GROUP_INDENT;
let indentNode = this.document.createElementNS(XHTML_NS, "span");
indentNode.className = "indent";
indentNode.style.width = indent + "px";
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment