Settings
Configure and reset default views for optimal user experience.
Configure and reset default views for optimal user experience.
empty
<% } %> <% var labels = "a_label".split(',').map(function(label) { return label.trim(); }).filter(function(label) { return label; }); %> <% var articlesWithLabels = articles.filter(function(article) { return Util.intersection(article['label_names'], labels).length; }) %> <% if (articlesWithLabels.length) { %>