[texshop] What does F5 do?

[Stephen Moye]

> Howdy.
> 
> Pressing F5 again seems to dismiss it without making a change. Again not a solution.
> 
> Good Luck,
> 
> Herb Schulz
> (herbs at wideopenwest dot com)

Right you are! Not a solution, but better.

Thanks.

SGM