$scope.update_codemirror = function () { // hack for code mirror
        _.defer(function () {
            $('.CodeMirror').each(function(i, el) {
                el.CodeMirror.refresh();
            });
        });
    };