Dmitry Tuzoff

Dark cursor in dark themes

1

Hi, great utility! But there's a problem with dark themes at least on Ubuntu Gnome 15.10 and Chrome: the cursor stays dark as well, so it's impossible to edit. Also...

I notice you started accepting pull requests. I'm adding stemming now. Prepare for you to merge when it's done? Also I put the data into dockerized ElasticSearch/Kibana (similar to @rsarxiv...

Some references or definitions are not found

19

## Environment data - VS Code version: Code 1.39.2 (6ab5985, 2019-10-15T15:33:00.827Z) - Extension version (available under the Extensions sidebar): 2019.10.41019 - OS and version: Darwin x64 19.0.0 (remote OS Linux...