You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Is your feature request related to a problem? Please describe.
It is a bit difficult to find where the required settings for metals, for example to change the build server.
You need to open the command palette and then type "Metals" to find relevant settings.
Describe the solution you'd like
It would be nice if there is a new button on the metals section, which on click will automatically open the command palette with "Metals:" pre filled.
Please find the below screenshot for more clarity.
Describe alternatives you've considered
NA
Additional context
No response
Search terms
Metals Settings
The text was updated successfully, but these errors were encountered:
Is your feature request related to a problem? Please describe.
It is a bit difficult to find where the required settings for metals, for example to change the build server.
You need to open the command palette and then type "Metals" to find relevant settings.
Describe the solution you'd like
It would be nice if there is a new button on the metals section, which on click will automatically open the command palette with "Metals:" pre filled.
Please find the below screenshot for more clarity.
Describe alternatives you've considered
NA
Additional context
No response
Search terms
Metals Settings
The text was updated successfully, but these errors were encountered: