Adapt behavior of f5: switch to other window, but leave its contents unchanged