From 5684ba4a9c8f505973c45026d50a66fd181eb3d4 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Mon, 30 Aug 2010 14:10:16 -0600 Subject: [PATCH] Allowing gc heap gui shrinking --- collects/plai/private/gc-gui.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/plai/private/gc-gui.rkt b/collects/plai/private/gc-gui.rkt index 7fc819cc38..f419fc5b2c 100644 --- a/collects/plai/private/gc-gui.rkt +++ b/collects/plai/private/gc-gui.rkt @@ -88,11 +88,11 @@ (vector-set! row-heights row (max (+ ch cell-vertical-padding) - (vector-ref row-heights row))) + #;(vector-ref row-heights row))) (vector-set! column-widths column (max (+ cw cell-horizontal-padding) - (vector-ref column-widths column))))))) + #;(vector-ref column-widths column))))))) (define/private (cell-min-size obj) (let ([dc (get-dc)])