From: Adrien <camaradetux@gmail.com>
To: oliver <oliver@first.in-berlin.de>
Cc: Pierre Vittet <pierre.vittet@inria.fr>, caml-list@inria.fr
Subject: Re: [Caml-list] [ANN] Vim plugin
Date: Tue, 31 Jan 2012 12:08:16 +0100 [thread overview]
Message-ID: <CAP5QFJn3ozfsmOooQF2bjF1F-3nNydAQ99oEDkFA9nMomGOwXA@mail.gmail.com> (raw)
In-Reply-To: <20120131100224.GA4413@siouxsie>
On 31/01/2012, oliver <oliver@first.in-berlin.de> wrote:
> Sometimes I had problems with syntax highlighting in OCaml.
> The end of comments was not always displayed correctly colored.
> This was the case, when long and nested comments were used.
> Then the non-comment section sometimes was displayed as
> if it were a comment.
>
> Someone also knows that problem?
>
> Maybe that is another issue that you might be able and interested
> to fix...?!
Hello,
I've had the issue with long comments too but I think it's not
specific to the ocaml highlighting: if you move around (forcing some
kind of refresh when doing so), you will probably recover the proper
highlighting (gg'' might be enough).
Regards,
Adrien Nader
next prev parent reply other threads:[~2012-01-31 11:08 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr>
2012-01-30 21:29 ` Pierre Vittet
2012-01-31 8:27 ` Jonathan Protzenko
2012-01-31 10:02 ` oliver
2012-01-31 11:07 ` Raphael Proust
2012-01-31 11:08 ` Adrien [this message]
2012-01-31 11:14 ` Marc Weber
2012-01-31 11:21 ` Matej Košík
2012-01-31 13:36 ` oliver
2012-01-31 14:11 ` Anthony Tavener
2012-01-31 14:49 ` Markus Mottl
2012-02-08 20:17 ` Pierre Vittet
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAP5QFJn3ozfsmOooQF2bjF1F-3nNydAQ99oEDkFA9nMomGOwXA@mail.gmail.com \
--to=camaradetux@gmail.com \
--cc=caml-list@inria.fr \
--cc=oliver@first.in-berlin.de \
--cc=pierre.vittet@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox