Adam Barth 61f82ee18c Improve the factoring between Input and RawEditableLine
RawEditableLine is now responsible for the scrolling behavior, which
removes the need for callbacks between RawEditableLine and Input. It
also fixes a bug whereby the whole Input widget (including its icon)
would scroll when the text got long.
2016-01-23 01:09:22 -08:00
..
2016-01-14 12:21:56 -08:00
2015-11-04 16:51:19 -08:00
2016-01-15 13:08:27 -08:00
2016-01-04 16:34:39 -08:00
2016-01-22 12:07:45 -08:00
2016-01-12 12:24:07 -08:00
2016-01-11 11:28:42 -08:00