From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0VDacJA017501 for ; Tue, 31 Jan 2012 14:36:38 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkICAI7tJ0/AbSoIe2dsb2JhbABEhQupVSIBARYmBCGBcgEBBSNWEAsJDwICJgICFBgxE4d/pwSRehOBHIloAgIdBAYBLgQPAwOEDw0FBIJDM2MEjVuHRJJW X-IronPort-AV: E=Sophos;i="4.71,596,1320620400"; d="scan'208";a="129545661" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 31 Jan 2012 14:36:33 +0100 X-Envelope-From: oliver@first.in-berlin.de Received: from first (e178013244.adsl.alicedsl.de [85.178.13.244]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id q0VDaV03023288 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Tue, 31 Jan 2012 14:36:32 +0100 Received: by first (Postfix, from userid 1000) id 9DC81154036F; Tue, 31 Jan 2012 14:36:31 +0100 (CET) Date: Tue, 31 Jan 2012 14:36:31 +0100 From: oliver To: Adrien Cc: Pierre Vittet , caml-list@inria.fr Message-ID: <20120131133631.GA1875@siouxsie> References: <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr> <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> <20120131100224.GA4413@siouxsie> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 Subject: Re: [Caml-list] [ANN] Vim plugin On Tue, Jan 31, 2012 at 12:08:16PM +0100, Adrien wrote: > On 31/01/2012, oliver 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