Skip to content

Code editor#109

Merged
RemDelaporteMathurin merged 14 commits into
mainfrom
code-editor
Aug 6, 2025
Merged

Code editor#109
RemDelaporteMathurin merged 14 commits into
mainfrom
code-editor

Conversation

@RemDelaporteMathurin

@RemDelaporteMathurin RemDelaporteMathurin commented Aug 5, 2025

Copy link
Copy Markdown
Collaborator

This PR adds a code editor in addition to the existing global variables definition system.

image

Thanks to this, we'll be able to add the ODE block more easily!

@RemDelaporteMathurin RemDelaporteMathurin merged commit 78755af into main Aug 6, 2025
3 checks passed
@RemDelaporteMathurin RemDelaporteMathurin deleted the code-editor branch August 6, 2025 01:00
@github-project-automation github-project-automation Bot moved this from In progress to Done in PathView release Aug 6, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant