0.7.2

App changes

• Added a setting to change font size in Editor UI.
• You can now press F12 to open app settings from almost anywhere.
• Added a button to delete crash recovery files on Home screen
• Added file naming customization for layers exported as PNG
• Fixed selection color (when using ALT+SHIFT)
• More robust JSON parsing with invalid integer numbers
• Fixed a crash with empty tilesets
• Fixed a crash loop on Home screen
• Minor visual fix on splash screen