v0.5.13

this release changes:

• feature: tabs!
• feature: a global colorpicker
• feature: stroke width preset palette
• feature: added "semi-infinite" canvas layout ( thanks @D0V4HKIIN !)
• feature: added two-finger long-press touch gesture that switches the active pen (like stylus buttons)
• feature: added pdf import bitmap scaling preference
• UI: floating toolbars
• UI: shape builder picker is now a categorized grid (thanks a lot @Kneemund !)
• improvement: copy, cut and paste selections between tabs and windows
• improvement: flap revealed state is now remembered across app launches
• fix: svg clipboard paste
• fix: lag when panning in "continuous-vertical" layout
• fix: layers when erasing marker strokes in "split-stroke" mode
• fix: "split-stroke" mode only eraser one segment at a time
• fix: freeze when saving multiple times in succession
• fix: blurry vector images after zooming in
• fix: some blurry icons