• Fixed a crash when zooming in to PDFs
• Improved performance of the shape tool
