graydon/rust — pull request #1468 by grahame (2012-01-08 13:34:45+00:00)
Title: add new read_chars method, incidentally fix bug in old read_char method

having a read_chars method is convenient and more efficient.
the old read_char method had a bug due to re-use of the 'w' width variable as a loop counter and so was broken for wide characters, this patch fixes that.

(I cancelled the last pull request as I tidied the code up further.)