Hello JP, Will this new highlighting scheme also be more modular? I think the main flaw of the current scheme is not speed, but maintainability. It's so deeply integrated into yi that it's very hard to isolate, understand and test it. It also uses Alex in non-obvious ways and overall is virtually unmaintainable without you.
I also would like a new highlighting scheme to serve as example and documentation. It would be great if anyone could look at highlighter<->yi API, understand it in a half hour and build a highlighter backend using pygments, for example, in a weekend. On Tuesday, November 12, 2013 3:42:28 PM UTC+7, Jean-Philippe Bernardy wrote: > > I have devised a new syntax highlighting scheme. Benefits: much faster, > and syntax can be derived directly from an existing context-free grammar. > > Tobias (cc'ed) is interested in integrating it into Yi as part of his > Master's thesis. > > Cheers, > JP. > > > On Mon, Nov 11, 2013 at 8:24 PM, Marc Weber <marco-...@gmx.de<javascript:> > > wrote: > >> Feedback about switching off syntax. >> >> I'd say you should evaluate a different design: >> >> First first render without syntax, wait for the parser to provide syntax >> & color info, then redraw with highlighting. >> >> Marc Weber >> >> -- >> -- >> Yi development mailing list >> yi-d...@googlegroups.com <javascript:> >> http://groups.google.com/group/yi-devel >> --- >> You received this message because you are subscribed to the Google Groups >> "yi.devel" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to yi-devel+u...@googlegroups.com <javascript:>. >> For more options, visit https://groups.google.com/groups/opt_out. >> > > -- -- Yi development mailing list yi-devel@googlegroups.com http://groups.google.com/group/yi-devel --- You received this message because you are subscribed to the Google Groups "yi.devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to yi-devel+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
