Aaron Dill

This seems like desired behavior. Is there a particular reason this is unfavorable to you?

Based on the way regular expressions parse matches, and the way the code is styled(through a VSCode range), I don't think this is even possible to change even if the...

[this patch](https://github.com/microsoft/vscode/pull/168732) seems like it should fix this soon this is a VSCode limitation, not one with the extension

I could not reproduce this using your example code unless the file didn't have an extension. The better-comments extension determines the comment character based on the file extension, so you...

To be clear, this is relating to desktop push notifications, IE the setting `show notification alert`

It seems #50 is designed to solve exactly this issue

There is currently a bug in the npm CLI which does not call prepack on installation of git dependencies (npm/cli#1865 and npm/pacote#257), so this change will *not* work with git...

> UNTESTED: I think you would have to import the script with `self.importScripts("inline-console.min.js")`. Changes to the window global scope don’t affect worker scopes. Additionally, and more importantly, you can’t update...

Accidentally closed through a zero-commit force push

The current hack to avoid this is: ```diff -gtimer.new({ - call_now = true, +local timer = gtimer.new({ + call_now = false, autostart = true, timeout = 1, single_shot = true,...