Re: Comment, verbatim

[Hans Hagen <pragma@wxs.nl>]

Tobias Burnus wrote:

> using \startcomment[title] ... \stopcomment to comment out an part of the script
> (which should appear as note), I noticed that the linefeed is obeyed but not the
> space when used for indenting. Can this be changed?

Hm. Something \obeyspaces. Maybe an option? 

> I use syntax highlighted verbatim (JV alias Java), but I haven't figured out how
> to change the fonts so, that keywords become bold, the rest should be roman
> (\tt).
> (Ok if I'd manage to get the comment signs and the comments in italic (or
> slanted) I would be glad).
> Somehow trials with something like \definefont[JVidentifierfont][MonoBold at
> \bodyfontsize] or so (borrowed from Berend's verb-sql) end with noting or even
> with an error message :-(

It's somewhere else, see core-ver:  

\def\setupcommonverbatim#1%
  {\def\verbatimfont         {\tttf}%
   \def\prettyidentifierfont {\ttsl}%
   \def\prettyvariablefont   {}%

if you change this to: 

\def\setupcommonverbatim#1%
  {\def\verbatimfont         {\tttf}%
   \def\prettyidentifierfont {\bf}%
   \def\prettyvariablefont   {\it}%

you will succeed. If we can work out proper keys, I will add an option

  [somestyle=...]

normal
reserved 
whatever 

Now who has ideas on keys? 

Hans

-----------------------------------------------------------------
                                          Hans Hagen | PRAGMA ADE
              Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
      tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.nl
-----------------------------------------------------------------