Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

lucasmerlin
Copy link
Member

Related

What

Removes the custom number formatting (thin spaces and custom minus sign) we apply in re_format when copying text.

Copy link

github-actions bot commented Sep 9, 2025

Web viewer built successfully. If applicable, you should also test it:

  • I have tested the web viewer
Result Commit Link Manifest
0ceec5e https://rerun.io/viewer/pr/11148 +nightly +main

Note: This comment is updated whenever you push a commit.

Co-authored-by: Emil Ernerfeldt <[email protected]>
@lucasmerlin lucasmerlin merged commit 7786c36 into main Sep 9, 2025
40 checks passed
@lucasmerlin lucasmerlin deleted the lucas/remove-number-formatting-on-copy branch September 9, 2025 09:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants