if !file || contents === undefined
	h2 Error: File not found.
else
	h2#fileName= file
	#json-editor.editor!= contents