idris2-mode icon indicating copy to clipboard operation
idris2-mode copied to clipboard
verified publisher icon redfish64

Various fixes

Open gallais opened this issue 4 years ago • 0 comments

  • Do not steal the focus when opening the info buffer
  • Display the notes buffer if there are compiler warnings

gallais avatar May 13 '21 09:05 gallais