commit | 374d66d39e9f391be3667e8e2ce44c1fa544fb6c | [log] [download] |
---|---|---|
author | Florian Nücke <florian@nuecke.de> | Sat Nov 23 18:10:45 2013 +0100 |
committer | Florian Nücke <florian@nuecke.de> | Sat Nov 23 18:10:45 2013 +0100 |
tree | 7b3ad74d34c51736c3295ebf681ffe70611ee6e1 | |
parent | e674f4905bf74203ef49a18112cf8ef61ac67293 [diff] |
moved string.trim to text.trim; made some more Lua functions use get/set prefix after all (got too used to dropping it from Scala, but since most callbacks will use this, too, I'd like to keep it uniform); major cleanup of term's readline implementation