Replies: 1 comment
-
💬 Your Product Feedback Has Been Submitted 🎉 Thank you for taking the time to share your insights with us! Your feedback is invaluable as we build a better GitHub experience for all our users. Here's what you can expect moving forward ⏩
Where to look to see what's shipping 👀
What you can do in the meantime 💻
As a member of the GitHub community, your participation is essential. While we can't promise that every suggestion will be implemented, we want to emphasize that your feedback is instrumental in guiding our decisions and priorities. Thank you once again for your contribution to making GitHub even better! We're grateful for your ongoing support and collaboration in shaping the future of our platform. ⭐ |
Beta Was this translation helpful? Give feedback.
-
Select Topic Area
Bug
Body
It seems, that github makes changes in SVG graphics. The removal of WS might be OK, but not the removal of
style="something"
. I have an svg file that is rendered unredable after the changes such asstyle="stroke-width:0.26458332"
tostyle=""
.To reproduce, go to:
KeYProject/key#3019
There the image is correct. However, when you click on the image, it displayed in another tab and rendered incorrectly.
Image link:
https://user-images.githubusercontent.com/74923113/216776858-6ab36bb8-e8f7-4c87-94dc-7e138f2de07f.svg
Correct image version:
Wrong image version:
Beta Was this translation helpful? Give feedback.
All reactions