Refreshing Action Lists with F5 did not always work

It happened that refreshing Action Lists via function key F5 did not always work. We have improved this.