Closed david-christiansen closed 10 years ago
Hi David,
I've added substring-no-properties
in the insert function. Could you check if it works for you?
Sorry for the slow reply - I missed the notification somehow.
It works just fine that way. Thanks!
I was trying to use ido-at-point for completion in Idris's REPL, and I noticed that some letters had extra fonts - they were the wrong color.
The following redefinition makes the problem go away: