Fix for bug #21717: "F5->reload" doesn't work in editor