Skip to content

Conversation

@sagar-joshi
Copy link
Contributor

@sagar-joshi sagar-joshi commented Mar 4, 2021

Fixes #1418
I have verified that this pull request:

  • has no linting errors (npm run lint)
  • is from a uniquely-named feature branch and has been rebased on top of the latest develop branch. (If I was asked to make more changes, I have made sure to rebase onto develop then too)
  • is descriptively named and links to an issue number, i.e. Fixes #123

@release-com
Copy link

release-com bot commented Mar 4, 2021

Release Environments

p5.js-web-editor
app-ted898b-p5-js-web-editor.releaseapp.io

@catarak
Copy link
Member

catarak commented Mar 10, 2021

Just tested, seems to be working for me!

@catarak catarak merged commit 36175d3 into processing:develop Mar 10, 2021
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.

Opening and adding to/removing from collections sometimes crashes editor

2 participants