idris-mode icon indicating copy to clipboard operation
idris-mode copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

Use the same buffer information throughout file load.

Open jsoo1 opened this issue 6 years ago • 2 comments

Fixes a race condition when using popwin. When file is done loading (current-buffer) will be nil.

A fresher version of https://github.com/idris-hackers/idris-mode/pull/483

Closes #423

jsoo1 avatar Mar 01 '19 04:03 jsoo1

Should I be using something else? (#158)

jsoo1 avatar Mar 05 '19 19:03 jsoo1

Sorry about the delay in someone checking your PR. Although I am an emacs user I do not know too much about the internals or making modes. So I am doing light maintenance to tag a release.

If you are able to recheck that your PR works then let me know and I will merge.

jfdm avatar May 22 '20 08:05 jfdm