In-reply-to: <[🔎] 20200115001744.GA20715@wren.corp> David Wright <deblis@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.