From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Thu, 1 Oct 2009 14:00:53 +0000 (+0200)
Subject: Add boxedgraphic macro to display a metapost graphic with a border.
X-Git-Tag: final-thesis~229
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=148ed11cd95fb6d4eca37dec1a496d4972384baa

Add boxedgraphic macro to display a metapost graphic with a border.
---

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
+}
+