Refreshing should not revert files by default
Opened this issue · 0 comments
Wilfred commented
This is slow, and can trigger a lot of flycheck etc work.
See monky-revert-buffers
which is ultimately called from the interactive command monky-refresh
.