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 save warnings to PhET widget editor and unhide widget #1582

Merged
merged 5 commits into from
Sep 4, 2024

Commits on Sep 4, 2024

  1. Add getSaveWarnings

    aemandine committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    38f1157 View commit details
    Browse the repository at this point in the history
  2. Add changeset

    aemandine committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    0554288 View commit details
    Browse the repository at this point in the history
  3. Unhide widget

    aemandine committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    46932d4 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    480e60f View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    7530b5e View commit details
    Browse the repository at this point in the history