update themes
[hints] raise margin between container and cursor
shortcuts will be available as an addon
fix caret width in the vertical style
minor fix in Stream.toString
add deleteToBeginning and deleteToEnd functions