From 930e4270b453a7c14945aa0e7065893bfbc2c5a9 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 22 Aug 2017 16:44:07 -0400 Subject: [PATCH] Better defaults; print defaults accurately --- racket/syndicate/trace/render-msd.rkt | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/racket/syndicate/trace/render-msd.rkt b/racket/syndicate/trace/render-msd.rkt index 12d23d2..065389c 100644 --- a/racket/syndicate/trace/render-msd.rkt +++ b/racket/syndicate/trace/render-msd.rkt @@ -194,9 +194,9 @@ [(annotate-swimlane pos color annotation) (update-statemap statemaps pos (list color annotation))])) -(define WIDTH (make-parameter 50)) -(define HEIGHT (make-parameter 20)) -(define GAP (make-parameter 20)) +(define WIDTH (make-parameter 100)) +(define HEIGHT (make-parameter 4)) +(define GAP (make-parameter 4)) (define ACTIVE-WIDTH 10) (define ACTION-COLOR "white") @@ -349,11 +349,11 @@ (set! *scale* (string->number scale))] [("-t" "--target") target "Choose target: screen, png, png@2x, svg, eps, pdf" (set! *target* (string->symbol target))] - [("--width") width "Width of swimlane cells (default: 50)" + [("--width") width ((format "Width of swimlane cells (default: ~a)" (WIDTH))) (WIDTH (string->number width))] - [("--height") height "Minimum height of rows (default: 20)" + [("--height") height ((format "Minimum height of rows (default: ~a)" (HEIGHT))) (HEIGHT (string->number height))] - [("--gap") gap "Extra space between rows (default: 20)" + [("--gap") gap ((format "Extra space between rows (default: ~a)" (GAP))) (GAP (string->number gap))] #:args (filename) filename))