Unified Diff: chrome/content/ui/filters.js
Issue 5062082168881152:
NO BUG Allow users to disable element hiding (Closed)
Patch Set:
Created Feb. 18, 2015, 1:47 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« no previous file
|
chrome/content/ui/filters.xul » ('j')
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: chrome/content/ui/filters.js |
| =================================================================== |
| --- a/chrome/content/ui/filters.js |
| +++ b/chrome/content/ui/filters.js |
| @@ -142,17 +142,17 @@ var Templater = |
| value = value ? "true" : "false"; |
| attribute.value = value; |
| } |
| } |
| } |
| // Process <if> tags - remove if condition is false, replace by their children |
| // if it is true |
| - for each (let node in conditionals) |
| + for (let node of conditionals) |
| { |
| let fragment = document.createDocumentFragment(); |
| let condition = node.getAttribute("condition"); |
| if (condition == "false") |
| condition = false; |
| for (let i = 0; i < node.childNodes.length; i++) |
| { |
| let child = node.childNodes[i]; |
« no previous file with comments
|
« no previous file
|
chrome/content/ui/filters.xul » ('j')
|
no next file with comments »
