search

the-lambda-church / coquille

Interactive theorem proving with Coq in vim.
ISC License
186 stars 68 forks source link

Fixed hilighting colors. #38

Closed awelkie closed 9 years ago

awelkie commented 9 years ago

The hilighting was broken for me. These are simply the changes recommended by @gergo- in issue #28. I'm not sure what the original hilighting color was supposed to be, so I don't know whether this is a theme change as well as a bug fix.

trefis commented 9 years ago

I fear that whatever color we chose, it will be "broken" for someone (depending on colorscheme, terminal, etc.).

I guess the "proper" way to fix that is to have hi def link (SentToCoq|CheckedByCoq) <some predefined colorgroup> (cf. :h highlight-groups), but I'm not sure any will be visually acceptable for such a large portion of the buffer.

So I'll keep the current colors and users should redefine them locally if necessary (that's probably worth mentioning in the README).