Index: chrome/content/ui/filters-filteractions.js |
=================================================================== |
--- a/chrome/content/ui/filters-filteractions.js |
+++ b/chrome/content/ui/filters-filteractions.js |
@@ -361,17 +361,17 @@ var FilterActions = |
if (item.filter instanceof ActiveFilter) |
{ |
E("tooltip-hitcount").setAttribute("value", item.filter.hitCount) |
E("tooltip-lasthit").setAttribute("value", Utils.formatTime(item.filter.lastHit)) |
} |
E("tooltip-additional").hidden = false; |
if (item.filter instanceof InvalidFilter && item.filter.reason) |
- E("tooltip-additional").textContent = item.filter.reason; |
+ E("tooltip-additional").textContent = Utils.getString(item.filter.reason); |
else if (item.filter instanceof RegExpFilter && defaultMatcher.isSlowFilter(item.filter)) |
E("tooltip-additional").textContent = Utils.getString("filter_regexp_tooltip"); |
else |
E("tooltip-additional").hidden = true; |
}, |
/** |
* Called whenever a key is pressed on the list. |