tab: Make tab_value() take a variable instead of a dictionary.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 12 Apr 2011 13:43:04 +0000 (06:43 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 12 Apr 2011 13:43:04 +0000 (06:43 -0700)
It seems far more likely that callers will have the variable handy
than the dictionary.  Also, when the variable is used the format can
be optional since tab_value() can get it from the variable's print
format.


No differences found