Skip to content

Conversation

@jcelerier
Copy link
Member

  • code editor: fix crash when editor was closed and file still open and saving
  • core: start separating external widget and code editor api

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.

2 participants