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

Add descriptive text and a link at top of query results #711

Merged
merged 1 commit into from
Dec 16, 2020

Conversation

aeisenberg
Copy link
Contributor

@aeisenberg aeisenberg commented Dec 16, 2020

The descriptive text is the same as the label in the query history view. The link opens the file that ran the query.

Here is a screenshot of a wide window:

_Extension_Development_Host__-_CodeQL_Query_Results_—_vscode-codeql-starter__Workspace_

And here is a narrow window:

_Extension_Development_Host__-_CodeQL_Query_Results_—_vscode-codeql-starter__Workspace_

Fixes #634.

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.
  • [n/a] @github/docs-content-dsp has been cc'd in all issues for UI or other user-facing changes made by this pull request.

The descriptive text is the same as the label in the query history view.
The link opens the file that ran the query.
@aeisenberg aeisenberg force-pushed the aeisenberg/query-description branch from 21d007d to b8911a5 Compare December 16, 2020 18:36
Copy link
Contributor

@adityasharad adityasharad left a comment

Choose a reason for hiding this comment

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

A nice usability improvement.

In the new year I would like to get @donokuda's suggestions on the entire results panel, to see whether we can make the visual presentation more refined. But no need to hold up this PR.

@aeisenberg aeisenberg merged commit 3ea3eda into github:main Dec 16, 2020
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.

User should be able to understand which query is being displayed in the results view
2 participants