Closed keram closed 1 year ago
improve maintainability by extracting idris-highlight-source-file from idris-commands.el to idris-highlight-input.el
idris-highlight-source-file
Before fix:
After fix:
Rerunning jobs that failed, most likely, due to caching.
improve maintainability by extracting
idris-highlight-source-file
from idris-commands.el to idris-highlight-input.elBefore fix:
After fix: