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
Verifier: Verify that completing workbench.action.terminal.rename use most of the spaces, like in Stable. There's 18px to the right which is reserved for the scrollbar that we don't use.
Create the following keybinding and open intellisense in the command:
Lots of wasted space and I can no longer tell which one is
rename
and which isrenameWithArgs
:In stable:
Version: 1.42.0-insider (user setup)
Commit: 536757f
Date: 2020-02-05T16:51:41.553Z
Electron: 6.1.6
Chrome: 76.0.3809.146
Node.js: 12.4.0
V8: 7.6.303.31-electron.0
OS: Windows_NT x64 10.0.19041
The text was updated successfully, but these errors were encountered: