Skip to content

Conversation

Kevinjil
Copy link
Contributor

Monaco stores source code in a global service. The URIs of every source must be unique. As we are not editing the diff files anyway, we can make sure to only render them once and share them between diff viewers to reduce overhead.

Fixes #3100

Old:
image

New:
image

@Kevinjil Kevinjil force-pushed the unique-diff-source branch 2 times, most recently from 80b6f55 to 46e5d58 Compare September 16, 2025 18:27
Monaco stores source code in a global service. The URIs of every source
must be unique. As we are not editing the diff files anyway, we can make
sure to only render them once and share them between diff viewers to
reduce overhead.
Copy link
Member

@vmcj vmcj left a comment

Choose a reason for hiding this comment

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

LGTM, lets see if it breaks tomorrow.

@Kevinjil Kevinjil added this pull request to the merge queue Sep 19, 2025
Merged via the queue into DOMjudge:main with commit bc86b03 Sep 19, 2025
36 checks passed
@Kevinjil Kevinjil deleted the unique-diff-source branch September 19, 2025 13:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Diff viewer with original submission doesn't load
2 participants