gui: Strip numerics and strings differently in value_to_text().
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 14 Jun 2011 02:17:27 +0000 (19:17 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 23 Jun 2011 15:50:24 +0000 (08:50 -0700)
commit2b3e6bc0a94cb16d04d9a6e1933ce0bf8e26830f
treeccf1d7611463e5405c5c4c6f3a2313dc3fad1109
parent4994c34bb5a7d1da401b7b9552a91c9ccfd42566
gui: Strip numerics and strings differently in value_to_text().

Otherwise a long string value that only contains a few
characters followed by all spaces is hard to read.
src/ui/gui/helper.c