Skip to content

Only show the details view when a data extensions editor is open#2709

Merged
robertbrignull merged 1 commit intomainfrom
robertbrignull/details-visible
Aug 16, 2023
Merged

Only show the details view when a data extensions editor is open#2709
robertbrignull merged 1 commit intomainfrom
robertbrignull/details-visible

Conversation

@robertbrignull
Copy link
Copy Markdown
Contributor

@robertbrignull robertbrignull commented Aug 14, 2023

Implements only showing the details view when at least one data extensions editor is open. When a new editor is opened we set the codeql.dataExtensionsEditorOpen context key to true, and when an editor is closed we check to see if there are any others remaining and set the context value accordingly.

In my local testing it's working pretty well.

Checklist

  • CHANGELOG.md has been updated to incorporate all user visible changes made by this pull request.
  • Issues have been created for any UI or other user-facing changes made by this pull request.
  • [Maintainers only] If this pull request makes user-facing changes that require documentation changes, open a corresponding docs pull request in the github/codeql repo and add the ready-for-doc-review label there.

@robertbrignull robertbrignull force-pushed the robertbrignull/details-visible branch from b56855e to 3a38579 Compare August 15, 2023 15:12
Base automatically changed from robertbrignull/details-multiple-editors to main August 16, 2023 11:47
@robertbrignull robertbrignull force-pushed the robertbrignull/details-visible branch from 3a38579 to fed9870 Compare August 16, 2023 12:13
@robertbrignull robertbrignull marked this pull request as ready for review August 16, 2023 12:13
@robertbrignull robertbrignull requested review from a team as code owners August 16, 2023 12:13
Copy link
Copy Markdown
Contributor

@norascheuch norascheuch left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🎉

@robertbrignull robertbrignull merged commit 99dd916 into main Aug 16, 2023
@robertbrignull robertbrignull deleted the robertbrignull/details-visible branch August 16, 2023 14:28
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.

2 participants