Skip to content

editor: save files#4015

Merged
tvanderstad merged 1 commit intomasterfrom
editor-save-files
Dec 8, 2025
Merged

editor: save files#4015
tvanderstad merged 1 commit intomasterfrom
editor-save-files

Conversation

@tvanderstad
Copy link
Copy Markdown
Contributor

fixes an issue merged to master last night where the editor would no longer save files under any circumstances

also fixes an ios build issue

@tvanderstad tvanderstad merged commit 3f465b9 into master Dec 8, 2025
1 check passed
@tvanderstad tvanderstad deleted the editor-save-files branch December 8, 2025 17:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant