From: Jason Remillard <jremillardshop@ya...> - 2007-07-02 14:49:52
Sorry for coming in a bit late on this. If codestriker created the highlighted lines when the topic was created, the 10 -20 seconds or so of syntax processing becomes way less of a big deal. Make a new field in the database that has the cached "display" version of the topic. Also having a cached html version of the document gets codestriker a long way towards reviewing pdfs, word files, excel etc.
----- Oiginal Message ----
From: David Sitsky <david.sitsky@...>
To: Nikita Borodikhin <eliterr@...>
Sent: Monday, June 25, 2007 7:35:15 PM
Subject: Re: [Codestriker-user] Syntax highlight (patch included)
> Probably we should not stuck to only one (webcpp or other) but provide
> generic layer for use external highlighters. I think, we could use any
> one that:
> * builds css-formatted code by using <span class="style"> and closes
> tags correctly;
> * don't add any symbols other than escaped standard one (lt, gt, amp);
> * can behave as line filter (get text from stdin and output it to stdout).
Sounds like an excellent idea.
> To add such highlighter support we need is to provide its description:
> * program name and command line template;
> * correspondence between file externsions and program's language names;
> * description of header we should strip out from highlighter output;
> * correspondence between program's styles and our styles.
> In my Debian there are some tools that meet these requirements:
> * highlight: http://www.andre-simon.de/doku/highlight/en/highlight.html
> * GNU source-hightlight:
> * Web C Plus Plus: http://webcpp.sourceforge.net
> To allow usage of pure Perl highlighter (Kate engine) it seems to be a
> good idea to name styles after its standard ones.
Agreed! Thanks for looking into this, you'll make a lot of people happy!
This SF.net email is sponsored by DB2 Express
Download DB2 Express C - the FREE version of DB2 express and take
control of your XML. No limits. Just data. Click to get it now.
Codestriker-user mailing list
Got a little couch potato?
Check out fun summer activities for kids.