From: Hans Hagen <pragma@wxs.nl>
Subject: Re: colorful listings
Date: Thu, 14 Nov 2002 11:26:05 +0100 [thread overview]
Message-ID: <5.1.0.14.1.20021114112544.00ade9e8@server-1> (raw)
In-Reply-To: <20021114053833.GA917@ruhrau.de>
At 06:38 AM 11/14/2002 +0100, you wrote:
>On Thu, Nov 14, 2002 at 01:03:38AM +0100, Hans Hagen wrote:
>[...]
> >
> > you need to add:
> >
> > \definepalet [PLcolorpretty] [mokka]
> >
>
>and drop the 'palet=' option, I presume? What is this option good for then?
Well, if you would have defined PLmokka ...
Hans
-------------------------------------------------------------------------
Hans Hagen | PRAGMA ADE | pragma@wxs.nl
Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
tel: +31 (0)38 477 53 69 | fax: +31 (0)38 477 53 74 | www.pragma-ade.com
-------------------------------------------------------------------------
information: http://www.pragma-ade.com/roadmap.pdf
documentation: http://www.pragma-ade.com/showcase.pdf
-------------------------------------------------------------------------
next prev parent reply other threads:[~2002-11-14 10:26 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-11-12 14:56 Johannes Hüsing
2002-11-14 0:03 ` Hans Hagen
2002-11-14 5:38 ` Johannes Hüsing
2002-11-14 10:26 ` Hans Hagen [this message]
2002-11-15 4:53 ` Johannes Hüsing
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=5.1.0.14.1.20021114112544.00ade9e8@server-1 \
--to=pragma@wxs.nl \
--cc=ntg-context@ref.ntg.nl \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).