Federico Zivolo

I can reproduce the same issue, comparing the generated markup/html with the default vscode editor and city lights, I see that the default theme wraps `

@noudadrichem I don't know, I just noticed this difference and reported back, I have no knowledge about this so I was just trying to be useful. To be clear, those...

`editor.semanticHighlighting.enabled` is already set to `false` on my environment anyways.

I get this error when I try to import this library: ``` ./node_modules/vtk.js/Sources/Filters/General/PaintFilter/PaintFilter.worker.js ValidationError: Invalid options object. Worker Loader has been initialized using an options object that does not match...

Popper.js gzipped is 7kb, the v1 of react-popper doesn't bundle Popper.js anymore, but it bundles quite some polyfills that should probably be reduced 🙄

the Kama instance gets disconnected and reconnected, then it timeouts

Hi, I tried to setup this plugin again but I end up with the same problem... This is the branch where I have enabled the plugin: https://github.com/FezVrasta/popper.js/pull/314

Hi, sorry for the delay. Nope with just karma-coverage it doesn't work, because AFAIK karma-coverage is just the reporter, but it needs an instrumenter to properly work (in this case,...

You may also use `[...document.querySelectorAll(className)].some(x => evt.target.contains(x))` to avoid to traverse the DOM manually.

I think `querySelector` and `querySelectorAll` are very optimised, but I guess one would need to benchmark to be sure.