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.

Sign up for GitHub

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

Jump to bottom

Remove duplicate entry in default visualisations. #5597

Merged
merged 3 commits into from
Feb 9, 2023
Merged

Remove duplicate entry in default visualisations. #5597

merged 3 commits into from
Feb 9, 2023

Conversation

MichaelMauderer
Copy link
Contributor

Pull Request Description

Fixes #5595.

Checklist

Please include the following checklist in your PR:

  • The documentation has been updated if necessary.
  • All code conforms to the
    Scala,
    Java,
    and
    Rust
    style guides.
  • All code has been tested:
    • Unit tests have been written where possible.
    • If GUI codebase was changed: Enso GUI was tested when built using BOTH
      ./run ide build and ./run ide watch.

@MichaelMauderer MichaelMauderer self-assigned this Feb 8, 2023
@MichaelMauderer MichaelMauderer added the CI: No changelog needed Do not require a changelog entry for this PR. label Feb 8, 2023
@MichaelMauderer MichaelMauderer marked this pull request as ready for review February 8, 2023 16:55
@MichaelMauderer MichaelMauderer added the CI: Ready to merge This PR is eligible for automatic merge label Feb 9, 2023
@mergify mergify bot merged commit 6181067 into develop Feb 9, 2023
@mergify mergify bot deleted the wip/MichaelMauderer/Duplicated_entires_in_visualisation_chooser_#5595 branch February 9, 2023 13:00
@hubertp hubertp mentioned this pull request Mar 3, 2023
Closed
2 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@farmaazon farmaazon farmaazon approved these changes

@wdanilo wdanilo Awaiting requested review from wdanilo

Assignees

@MichaelMauderer MichaelMauderer

Labels
CI: No changelog needed Do not require a changelog entry for this PR. CI: Ready to merge This PR is eligible for automatic merge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Duplicated entires in visualisation chooser
2 participants
@MichaelMauderer @farmaazon