Fixed bug where a problem not having Blockly as an allowed language would cause both editors to be visible