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

editor: allows user to select infra #2069

Merged
merged 2 commits into from
Oct 12, 2022
Merged

editor: allows user to select infra #2069

merged 2 commits into from
Oct 12, 2022

Conversation

jacomyal
Copy link
Contributor

@jacomyal jacomyal commented Oct 11, 2022

This commit closes #1986.

Details:

  • Adds a button in the right of the map that opens a modal where the user can select which infra to edit
  • Also removes viewport data from URLs in editor, since they caused more trouble than they solved issues

This commit fixes #1986.

Details:
- Adds a button in the right of the map that opens a modal where the
user can select which infra to edit
- Also removes viewport data from URLs in editor, since they caused more
trouble than they solved issues
@jacomyal jacomyal requested a review from a team October 11, 2022 08:59
@sim51
Copy link
Contributor

sim51 commented Oct 12, 2022

When I have a selection and I switch to an other infrastructure, the selection is still there with the data of the previous infra

This commit is related to #1986. It fixes an issue raised by @sim51 in a
comment to PR #2069:

> When I have a selection and I switch to an other infrastructure, the
selection is still there with the data of the previous infra

Details:
- Groups activeTool and toolState in a single useState call in
Editor.tsx internal logic, to prevent some invalid app state
- Adds a new `reset` editor action to reset editor state (except for
schema, that never changed for now)
- Flushes editor and tool state (and active tool, actually) when the
infra changes
@sim51 sim51 merged commit 4b0a1e1 into dev Oct 12, 2022
@sim51 sim51 deleted the ajy/feature-1986 branch October 12, 2022 12:14
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.

Select infrastructure by edition tool
2 participants