From 355bda15b13f4d0c05674d3c2099178a47c54c17 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 28 Aug 2012 11:49:06 -0400 Subject: [PATCH] Add default-process-height to vm-pictures --- vm-pictures.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/vm-pictures.rkt b/vm-pictures.rkt index bd6d34d..eb9bff4 100644 --- a/vm-pictures.rkt +++ b/vm-pictures.rkt @@ -6,6 +6,8 @@ (provide (all-defined-out)) +(define default-process-height 98) + (define default-font (make-parameter 'roman)) (define final-border (make-parameter 1)) @@ -13,7 +15,7 @@ (define process-angle (make-parameter 90)) (define process-width (make-parameter 24)) (define process-corner (make-parameter 6)) -(define process-height (make-parameter 98)) +(define process-height (make-parameter default-process-height)) (define process-gap (make-parameter 6)) (define leg-offset (make-parameter 4))