Rietveld Code Review Tool
Help | Bug tracker | Discussion group | Source code

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.
Jump to:
View side-by-side diff with in-line comments
Download patch
« 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') | Show Comments 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 »

Powered by Google App Engine
This is Rietveld