Remove unused code
UnRedo: Explicitly clear the commands history when a file is reloaded

Normally the commands were cleared anyway, but maybe not always with a non-workspace file.