Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
edit_box improvements for 3.2.25 #146
edit_box has append(string) and scroll_to_end() methods. #144 has lots of issues and may be delayed. These two were (almost) easy to add and they may be useful. The call to scroll_to_end can be made by the Shoes script writer, as they see fit.