Small fixes for the splitted editor and the reloading of previously saved files.
Authored by: numere 2022-03-01
Parent: [r1084]
Child: [r1086]