Pressing "Reset" cleans the text area also

This commit is contained in:
Carsten Grohmann 2020-11-20 10:28:21 +01:00
parent 4d31b9ad3d
commit c55a4d018e

View File

@ -1206,6 +1206,7 @@ Killed process 6576 (java) total-vm:33914892kB, anon-rss:20629004kB, file-rss:0k
document.getElementById('textarea_oom').value = self.example
def reset_form(self):
document.getElementById('textarea_oom').value = ""
self.set_HTML_defaults()
self.update_toc()