Diego Rivera

I have AnsiEsc installed and working, which I can verify because if I run :AnsiEsc then "Legend: today, weekend, ..." becomes "Legend: ^[[38;5;15m^[[...", but does not seem to compile code....

Added method for querying vernac commands where the sentenceID to query from can be chosen. In addition, used this method to implemented running isolated coq commands (where chosen sentenceID =...

Allow different entries in calendar to have different colors depending on the file they come from

1

Feature idea: allow users to choose what color each entry has depending on what file that task/scheduled thing comes from. Idea from emacs-calfw, which has something like this.