--- a/playground/playground.js Fri Feb 21 12:24:41 2014 -0500
+++ b/playground/playground.js Sat Feb 22 09:20:20 2014 -0500
@@ -293,6 +293,7 @@
playground.tabSelected = function(evt) {
var id = playground.activeTab = evt.target.id;
+
if(['tab-compacted', 'tab-flattened', 'tab-framed'].indexOf(id) > -1) {
// these options require more UI inputs, so compress UI space
@@ -315,6 +316,8 @@
$('#markup-div').removeClass('span6').addClass('span12');
$('#param-type').html('');
}
+
+ $.each(playground.editors, function(id, editor){ editor.refresh(); });
// perform processing on the data provided in the input boxes
playground.process();