Skip to content

Remove old language context filter.#2975

Merged
starcke merged 2 commits intomainfrom
starcke/remove-old-language-filter
Oct 16, 2023
Merged

Remove old language context filter.#2975
starcke merged 2 commits intomainfrom
starcke/remove-old-language-filter

Conversation

@starcke
Copy link
Copy Markdown
Contributor

@starcke starcke commented Oct 16, 2023

This removes the old way of filtering the language context now that we have the language filter panel.
For reference the old way was introduced here:

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.

@starcke starcke marked this pull request as ready for review October 16, 2023 09:28
@starcke starcke requested review from a team as code owners October 16, 2023 09:28
charisk
charisk approved these changes Oct 16, 2023
View reviewed changes
Copy link
Copy Markdown
Contributor

@charisk charisk left a comment

Choose a reason for hiding this comment

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

🔥

Comment thread extensions/ql-vscode/src/databases/local-databases-ui.ts
@starcke starcke merged commit e57f04e into main Oct 16, 2023
@starcke starcke deleted the starcke/remove-old-language-filter branch October 16, 2023 11:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@charisk charisk charisk approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@starcke @charisk