v0.9.4

this release changes:

• ux: increase window threshold width at where the sidebar becomes an overlay
• fix: indicate unsaved when changing document settings (format, colors, pattern, ..)
• fix: missing progress pulse when saving existing doc
• fix: ui not being refreshed after loading document from file
• fix: jumping view when zoomed out and reaching edges