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