Implemented a functionality to reset the contents of the editor.
Implemented a functionality to reset the contents of the editor.

MattiNieminen/clj-formal-specifications-app,MattiNieminen/clj-formal-specifications-app