From 148ed11cd95fb6d4eca37dec1a496d4972384baa Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Thu, 1 Oct 2009 16:00:53 +0200
Subject: [PATCH] Add boxedgraphic macro to display a metapost graphic with a
 border.

---
 Utils/Lambda.tex | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex
index b300b35..2172bbc 100644
--- a/Utils/Lambda.tex
+++ b/Utils/Lambda.tex
@@ -70,3 +70,11 @@ draw b;
   % Reset the typing options
   \setuptyping[option=none,style=\tttf]
 }
+
+% Display a useMPgraphic in a pretty box
+\define[1]\boxedgraphic{
+  \startboxed
+  \useMPgraphic{#1}
+  \stopboxed
+}
+
-- 
2.30.2