Skip to content

Conversation

@lemmy
Copy link
Member

@lemmy lemmy commented Oct 25, 2025

[Feature]

@lemmy lemmy added the enhancement New feature or request label Oct 25, 2025
@lemmy lemmy self-assigned this Oct 25, 2025
serialization.

[Feature]

Signed-off-by: Markus Alexander Kuppe <[email protected]>
@lemmy lemmy requested a review from Copilot October 25, 2025 21:06
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR adds functionality for creating complete SVG documents and serializing them to files. It introduces two new operators: SVGDoc for creating SVG documents with proper namespace declarations and viewBox configuration, and SVGSerialize for writing SVG content to disk.

Key Changes:

  • Added SVGDoc operator to create properly structured SVG documents with viewBox and namespace attributes
  • Added SVGSerialize operator to write SVG documents to files with customizable naming
  • Comprehensive test coverage for both new operators including edge cases

Reviewed Changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 5 comments.

File Description
modules/SVG.tla Implements SVGDoc and SVGSerialize operators with detailed documentation
tests/SVGTests.tla Adds test cases validating SVGDoc structure, string conversion, and SVGSerialize file operations

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@lemmy lemmy merged commit 2470e94 into master Oct 25, 2025
2 checks passed
@lemmy lemmy deleted the mku-SVGSerialize branch October 25, 2025 21:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Development

Successfully merging this pull request may close these issues.

2 participants