Benjamin Pasero

Results 228 comments of Benjamin Pasero

`gap` seems to stretch every status bar item then: ![image](https://user-images.githubusercontent.com/900690/159723752-a5e74f13-02d2-4e09-b0ed-08dac09e5612.png) 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: ![image](https://user-images.githubusercontent.com/900690/191509418-a405afeb-dd4b-43cc-a6fa-961781e7d9b0.png) This is after this change: ![image](https://user-images.githubusercontent.com/900690/191509859-52ac0f55-cea4-4190-ae80-16b919962502.png) And this is without margins: ![image](https://user-images.githubusercontent.com/900690/191509908-70e3d1f7-40da-425c-8d27-47d8310ab8f0.png)

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