This PR adds a general SVG image interpreter that rasterizes SVGs if loaded as an image. Not perfect but much sharper than the previous images.
By far easier than extracting paths and transforming them to real JavaFX SVGPath instances and is extendable to that.
As a proof of concept, I added some SVGs to different views like the navbar and the filebrowser. Now we can use SVGs everywhere and later extend this code to produce real vector elements instead of rasterizations.
This PR adds a general SVG image interpreter that rasterizes SVGs if loaded as an image. Not perfect but much sharper than the previous images. By far easier than extracting paths and transforming them to real JavaFX SVGPath instances and is extendable to that.
As a proof of concept, I added some SVGs to different views like the navbar and the filebrowser. Now we can use SVGs everywhere and later extend this code to produce real vector elements instead of rasterizations.