10 Jun
2007
10 Jun
'07
9:34 p.m.
This is a sort of hypothetical change. I like this design more than the recursive import approach. I'm not sure how often people will want to dynamically adjust the width of their borders, but I also don't see any reason to forbid it. David Sun Jun 10 14:22:58 PDT 2007 David Roundy <droundy@darcs.net> * make borderWidth dynamically configurable.