Skip to content

Conversation

@tasnimxvi
Copy link
Contributor

No description provided.

@RemDelaporteMathurin
Copy link
Collaborator

Tested it locally and it works! @tasnimxvi do you want to add the toggle functionality in this PR or shall I merge it?

@RemDelaporteMathurin
Copy link
Collaborator

Tested it locally and it works! @tasnimxvi do you want to add the toggle functionality in this PR or shall I merge it?

Nvm, just saw you added it in #103

@RemDelaporteMathurin RemDelaporteMathurin merged commit ad5a01b into main Aug 15, 2025
3 checks passed
@RemDelaporteMathurin RemDelaporteMathurin linked an issue Aug 15, 2025 that may be closed by this pull request
@RemDelaporteMathurin RemDelaporteMathurin deleted the drag-log branch October 2, 2025 13:23
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.

Show/hide logs + extensible

3 participants