Closed dstechenko closed 7 years ago
It looks like a number of idris faces already inherit from the font-lock faces, so these are overrides which make it look better for the base16 themes? Can you provide a before and after screenshot?
Before:
After:
Quick explanation: There are two variations of the mode: Loaded(semantically colored) and Not-Loaded(plain). Only the Loaded instance differs in color, another one is simply a mix of keywords(purple) and identifiers(white).
That looks good. Thanks for your contribution!
@belak , may I ask when it gets to MELPA? :) Thanks.
If you use melpa stable, it will be when I tag a new release. If you use normal melpa, it will happen after the next melpa build (they're automatic and controlled by melpa). I'd guess it will start soon but it may take quite a while to finish.
Tried my best to make it look like in other modes.