Bugfix set the filename for the editor when loading an example