scala/scala — pull request #1328 by xeno-by (2012-09-17 22:06:49+00:00)
Title: SI-5942 toolboxes now reset front ends

FrontEnd => Reporter proxy now correctly redirects
flush and reset back to the underlying front end.