[debbugs-tracker] bug#24767: closed (jgraph comments not recognized any more)

[GNU bug Tracking System]

Your message dated Sun, 30 Oct 2016 17:37:30 +0000
with message-id <address@hidden>
and subject line Re: bug#24767: jgraph comments not recognized any more
has caused the debbugs.gnu.org bug report #24767,
regarding jgraph comments not recognized any more
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
24767: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=24767
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> jgraph comments not recognized any more
>
>
>
>
> Date: 
>
> Sat, 22 Oct 2016 17:24:01 -0400
>
>
>
>
> Package: Emacs
>
>
> Try the following:
>
>     % emacs -Q -l .../elpa/packages/jgraph-mode/jgraph-mode.el ~/foo.jgr
>     (* hello *)
>
> The string "(* hello *)" should be highlighted as a comment, and is
> indeed correctly highlighted this way in Emacs-25 (and Emacs-24), but
> not in "master".
>
> The particularity of jgraph-mode's handling of (*...*) is that ?(, ?),
> and ?* are given "symbol" syntax, so I guess that src/syntax.c was
> modified in a way which makes it skip the whole (* as being a symbol.
>
>
>         Stefan
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#24767: jgraph comments not recognized any more
>
>
>
>
> Date: 
>
> Sun, 30 Oct 2016 17:37:30 +0000
>
>
>
>
> User-agent: 
>
> Mutt/1.5.24 (2015-08-30)
>
>
>
>
> Hello, Stefan.
>
> On Sat, Oct 29, 2016 at 11:12:51AM -0400, Stefan Monnier wrote:
> > > Would you try out the following patch, please, and let me know whether
> > > there are still problems with it.  Thanks.
>
> > I confirm it fixes my problems, thank you,
>
> I've committed it, and am closing the bug.
>
> >         Stefan
>
> -- 
> Alan Mackenzie (Nuremberg, Germany).
>
>
> --- End Message ---