| 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. |