Added coverage info and a text output button. Also fixed a bug when exporting files and clicking "cancel".