fix reload of file list in editor when a new file is created