Skip to content

Query History: context menu copy and groups#2016

Merged
norascheuch merged 1 commit intomainfrom
nora/query-history-context-menu
Jan 26, 2023
Merged

Query History: context menu copy and groups#2016
norascheuch merged 1 commit intomainfrom
nora/query-history-context-menu

Conversation

@norascheuch
Copy link
Copy Markdown
Contributor

@norascheuch norascheuch commented Jan 26, 2023

Updates the copy and introduces groups to the context menu for the query history.

image
image

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.

@norascheuch norascheuch requested a review from a team as a code owner January 26, 2023 13:43
@norascheuch norascheuch enabled auto-merge January 26, 2023 15:20
@norascheuch norascheuch merged commit 2264b6b into main Jan 26, 2023
@norascheuch norascheuch deleted the nora/query-history-context-menu branch January 26, 2023 15:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants