Closed AJDBenner closed 9 years ago
This feature was proposed by, well, me a while ago, but we didn't need it back then. You should bring this up with @humphd to see how you should proceed with this. If all we wanted to do was refresh the content then:
Right now clicking on the reload button in thimble does nothing. We want to make the button reload the rendered html document when pushed.