Don't reload text editor when switching between files
Right now, the text editor is completely reloaded when switching between files, which results in bad UX. We probably have to fix this (or add support for a solution) upstream.
Right now, the text editor is completely reloaded when switching between files, which results in bad UX. We probably have to fix this (or add support for a solution) upstream.