From: oliver <oliver@first.in-berlin.de>
To: Adrien <camaradetux@gmail.com>
Cc: Pierre Vittet <pierre.vittet@inria.fr>, caml-list@inria.fr
Subject: Re: [Caml-list] [ANN] Vim plugin
Date: Tue, 31 Jan 2012 14:36:31 +0100 [thread overview]
Message-ID: <20120131133631.GA1875@siouxsie> (raw)
In-Reply-To: <CAP5QFJn3ozfsmOooQF2bjF1F-3nNydAQ99oEDkFA9nMomGOwXA@mail.gmail.com>
On Tue, Jan 31, 2012 at 12:08:16PM +0100, Adrien wrote:
> 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).
[...]
Yes, I sometimes scrolled down and up or vice versa and it solved the problem.
But this can become annoying...
Ciao,
Oliver
next prev parent reply other threads:[~2012-01-31 13:36 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
2012-01-31 11:14 ` Marc Weber
2012-01-31 11:21 ` Matej Košík
2012-01-31 13:36 ` oliver [this message]
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=20120131133631.GA1875@siouxsie \
--to=oliver@first.in-berlin.de \
--cc=camaradetux@gmail.com \
--cc=caml-list@inria.fr \
--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