From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/4632
Path: main.gmane.org!not-for-mail
From: Johannes Huesing <hannes@ruhrau.de>
Newsgroups: gmane.comp.tex.context
Subject: Re: Metapost example and code
Date: Tue, 8 May 2001 08:19:35 +0200
Sender: owner-ntg-context@let.uu.nl
Message-ID: <20010508081935.A691@ruhrau.de>
References: <3.0.6.32.20010504172901.019dd5f0@server-1> <20010429125328.A1242@ruhrau.de> <3.0.6.32.20010504172901.019dd5f0@server-1> <20010506061507.A526@ruhrau.de> <3.0.6.32.20010507102141.009ac210@server-1>
Reply-To: johannes.huesing@ruhrau.de
NNTP-Posting-Host: coloc-standby.netfonds.no
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: main.gmane.org 1035395281 27307 80.91.224.250 (23 Oct 2002 17:48:01 GMT)
X-Complaints-To: usenet@main.gmane.org
NNTP-Posting-Date: Wed, 23 Oct 2002 17:48:01 +0000 (UTC)
Original-To: ntg-context@ntg.nl
In-Reply-To: <3.0.6.32.20010507102141.009ac210@server-1>; from pragma@wxs.nl on Mon, May 07, 2001 at 10:21:41AM +0200
Xref: main.gmane.org gmane.comp.tex.context:4632
X-Report-Spam: http://spam.gmane.org/gmane.comp.tex.context:4632

On Mon, May 07, 2001 at 10:21:41AM +0200, Hans Hagen wrote:
> At 06:15 AM 5/6/01 +0200, Johannes Huesing wrote:
[...]
> >
> >Because I wanted to quote the example, prettyprinted, as well, 
> >and not have to edit the metaposted and the prettyprinted version 
> >in parallel.
> 
> Right, now you're thinking 'context': 
> 
> \startbuffer[whow]
>   your := fance := mpcode ; 
> \stopbuffer
> 
> \typebuffer[whow]
> 
> \placefigure{}{\processMPbuffer[whow]}
> 

Ah, stupid me! Yes, I failed to look up \processMPbuffer in the 
Metafun manual.

> will be of help then
> 

And \definetyping[file][option=MP] does the job for prettyprinting
the \typebuffer'ed text.

Very nice. Thank you

Johannes
-- 
Johannes Hüsing | Domain: Adresse im Internet. Besteht aus einem 
hannes@ruhrau.de| technischen Teil (http://www.), einem Namen 
                | (erwin_meier) und einer Endung  (zum Beispiel 
                | .de für Deutschland) [J. Albrecht, "Zeit" 12/2001]