Closing all files should take you back to the list of files page #840
Description
Right now, if you close all the files, the editor and console stay there with some contents. It's not clear at all what file those contents belong to, or if they'll be saved.