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
Recently the discussion happened (#5160), that some editor names have a too generic name (in the mentioned PR it was code, which stands for VSCode).
Shall a new value be allowed that allows to override the behaviour that the key itself is used as an executable name? Such as executable or executable_name?
The text was updated successfully, but these errors were encountered:
Recently the discussion happened (#5160), that some editor names have a too generic name (in the mentioned PR it was
code
, which stands for VSCode).Shall a new value be allowed that allows to override the behaviour that the key itself is used as an executable name? Such as
executable
orexecutable_name
?The text was updated successfully, but these errors were encountered: