In-reply-to: <20200115001744.ga20...@wren.corp> David Wright <deb...@lionunicorn.co.uk> wrote:
Have you tried either of Ctrl-r or R?
Thanks, David; Ctrl-r does provide refresh without touching the rodent, but something has changed, because heretofore refresh has been automatic upon execution of latex.
