Make sure that the Refresh Menus command stays overridden

... even after it has been called...

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>