Yes! You are able to resize the notes box by clicking on the bottom right hand corner and dragging to your preferred size.
Yes! You are able to resize the notes box by clicking on the bottom right hand corner and dragging to your preferred size.
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) { %>