Pyret Hack

$("#breakButton").before('<button id="reindentButton" class="blueButton rhs" onclick="reindent()">Reindent</button>')
var indent_script = document.createElement('script');
indent_script.appendChild(
    document.createTextNode('function reindent(){var doc = $(".CodeMirror").first()[0].CodeMirror;\
                             for(var i = doc.lineCount() - 1; i >= 0 ; i--){\
                                 doc.indentLine(i, "smart");\
                             }}'))
document.head.appendChild(indent_script)