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

Make the map pickable natively #1812

Commits on Oct 6, 2023

  1. Configuration menu
    Copy the full SHA
    d5663ad View commit details
    Browse the repository at this point in the history
  2. remove index = 0 for selenium compatibility

    add set_parent_for_children function needed after unpickling
    BastienGauthier committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    1254fe9 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2023

  1. Configuration menu
    Copy the full SHA
    7c45bca View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ac5dbe1 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2023

  1. reboot

    BastienGauthier committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    7cbc61b View commit details
    Browse the repository at this point in the history