short-names: Consider character encoding when making short names.
authorBen Pfaff <blp@cs.stanford.edu>
Sat, 23 Apr 2011 18:59:49 +0000 (11:59 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 26 Apr 2011 04:13:53 +0000 (21:13 -0700)
Variable names and short names are always in UTF-8, but the length of
short names needs to be limited to 8 bytes in the dictionary encoding,
not in UTF-8.  This commit fixes that problem.


No differences found