-
Notifications
You must be signed in to change notification settings - Fork 460
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
Apply mssql font settings to result grid #18500
Conversation
Can you add a screenshot showing the change if these are set to a different font and larger size? |
const [fontSize, setFontSize] = useState(""); | ||
|
||
useEffect(() => { | ||
const getFontFamily = async () => { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
what does this look like if these settings aren't set? they should default to var(--vscode-editor-font-size)
and var(--vscode-editor-font-family)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
PR Changes
|
Chatted with @Benjin and we are expanding the scope of this fix to also adjust row / column sizes dynamically based on the font size that is input, so I will be working on adding that in a larger PR that will be for the January release. |
Fixes the query result grid to use the
mssql.resultsFontFamily
andmssql.resultsFontSize
settings.Example with font size: 20 & mac default font family
Fixes #18351