May 15th, 2019
- added a new icon for text formatting option in the contextual area of the text tool
- added "save as default" button for text formatting. New text boxes will always start with the default format.
- fixed some common text tool bugs
- fixed occasional incorrect page positions after copying and pasting pages
- improved page scrolling animation when stopping the scroll by tapping the screen