resolve: Double clicking on a file in a file browser brings up a text
editor for the file. If the editor is removed by clicking on the ‘X’ on
the tab then the file cannot subsequently be edited. Double clicking on
the file in the file browser has no further effect - but it should
bringback a text editor.