Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add POC of live code editor #8

Merged
merged 1 commit into from
Dec 1, 2023
Merged

Add POC of live code editor #8

merged 1 commit into from
Dec 1, 2023

Conversation

mfal
Copy link
Member

@mfal mfal commented Nov 30, 2023

This PR adds a basic working POC for the live code editor component as described in #7

@mfal mfal linked an issue Nov 30, 2023 that may be closed by this pull request
@mfal mfal changed the title Add live code editor Draft: Add live code editor Nov 30, 2023
@mfal mfal force-pushed the live-code-editor branch 2 times, most recently from 6ad891c to 5e7ed80 Compare December 1, 2023 07:51
@mfal mfal changed the title Draft: Add live code editor Add live code editor Dec 1, 2023
@mfal mfal force-pushed the live-code-editor branch from c42f501 to 165ea22 Compare December 1, 2023 08:05
@mfal mfal force-pushed the live-code-editor branch from 165ea22 to 2256480 Compare December 1, 2023 08:06
@mfal mfal changed the title Add live code editor Add POC of live code editor Dec 1, 2023
@mfal mfal merged commit e40889c into main Dec 1, 2023
1 check passed
@mfal mfal deleted the live-code-editor branch December 1, 2023 08:25
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.

Live code editor
2 participants