Henning Dieterichs
Henning Dieterichs
But PR title toolbar is left aligned (checkout 'distro'): 
> this is different to when it was synchronous, as it would try to tokenize the line once and not try again until the user types I don't think this...
Are you sure it is the same text in both cases? I get highlighing here: ``` "terminal.integrated.wordSeparators": " ()[]{}',\"-‘’", ``` But not here: ``` "terminal.integrated.wordSeparators": " ()[]{}',\"─‘’", ``` The reason...
I cannot reproduce:  Might be a general chromium rendering issue.
Let's close this as duplicate of #139067
I noticed that too. Can you investigate why this doesn't work anymore?
Thanks a lot, I will have a closer look soon! Looks good in general. However, I think it might be a good idea to lock the version of the two...
Sorry for the delay, I had to learn for exams. Are you sure [this](https://github.com/fregante/webext-dynamic-content-scripts) is not required to make it work? It is very unfortunate that I cannot test this...
Given that a significant amount of users (~15%) uninstalled this extension when this extension requested for more permissions in the last update, I think it is better to create a...
You are right. I think I once had commercial interests with this extension, but that's off the table now. I'm fine with MIT (also needs to be changed in package.json)....