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
The vscode-deephaven extension could use a few additional icons
Differentiate connected vs disconnected. Default product icons only include this one
Better run icons for "Run Deephaven File" vs "Run Deephaven Selected Lines" (currently using $(run-all) and
$(run) icons) which are shared by other commands such as the Python extension one
Blank icon the same size as other product icons. This will help for things like our connection selector where we use icons to indicate the active connection but have to hack leading spaces to match indentation for the disconnected server names Looks like codicons already has $(blank). Guess I missed it before.
The vscode-deephaven extension could use a few additional icons
"Run Deephaven File"
vs"Run Deephaven Selected Lines"
(currently using $(run-all) and$(run) icons) which are shared by other commands such as the Python extension one
Blank icon the same size as other product icons. This will help for things like our connection selector where we use icons to indicate the active connection but have to hack leading spaces to match indentation for the disconnected server namesLooks likecodicons
already has$(blank)
. Guess I missed it before.Vscode extensions have an icons contribution point where a font icon font (.woff) can provide additional icons.
https://code.visualstudio.com/api/references/icons-in-labels#icon-contribution-point
UPDATE: Here's what things currently look like:
Status bar states
Quick pick menu states
Run Buttons
"Run Deephaven File" and "Run Deephaven Selected Lines" respectively
The text was updated successfully, but these errors were encountered: