Re: A 'refresh' menu item?

[Bo Peng]

> Again: why not fix LyX instead? Isn't this supposed to be implemented
> already?

I am sure there are some cases this does not work. I will try to reproduce it.

Bo