Benjamin Pasero
Benjamin Pasero
`gap` seems to stretch every status bar item then:  This is really very specific to the fact that there is whitespace between the `span`, everything else is proper. I...
Yeah I think that would work at the place where we build the HTML elements, but I wouldn't suggest to force extension devs to use it.
@sandy081 only https://github.com/microsoft/vscode/pull/161324/commits/df072f2e286227deab4130bbb0e656e06180e2cc is really relevant, the rest is :lipstick:
I wonder, why have margins at all? This is button the right hand side:  This is after this change:  And this is without margins: 
I am mainly referring to https://github.com/microsoft/vscode/issues/158625#issuecomment-1221233526 where this was introduced.
My preferred fix I think would be to just undo the explicit `margin-right` that was added, not introduce another `margin-left`. But in the end the gap should just be the...
@aeschli what was the setting again to force polling?
I cannot reproduce this, tried with both Ubuntu 20 and 22. Maybe as a workaround configure `"remote.WSL.fileWatcher.polling": true`
Yeah maybe, but without steps to reproduce or the full crash dump, I would not file an issue. And this does not seem to happen on normal Linux distros, only...
@deepak1556 can maybe advise how to get the crash report if any