14 commits

Author	SHA1	Message	Date
Laurențiu Nicola	c7dc067104	Code: bump deps	2019-12-08 20:39:22 +02:00
Aleksey Kladov	e418889996	underline mutable bindings	2019-07-19 15:07:18 +03:00
Ekaterina Babshukova	4abe03879b	highlight mutable variables differently	2019-07-18 18:52:50 +03:00
Pascal Hertleif	1e6ba19015	Make rainbows optional	2019-05-27 11:44:46 +02:00
Pascal Hertleif	5bf3e949e8	Semantic highlighting spike ... Very simple approach: For each identifier, set the hash of the range where it's defined as its 'id' and use it in the VSCode extension to generate unique colors. Thus, the generated colors are per-file. They are also quite fragile, and I'm not entirely sure why. Looks like we need to make sure the same ranges aren't overwritten by a later request?	2019-05-27 11:26:33 +02:00
Laurențiu Nicola	f1ec88cc56	Improve highlighting of name refs	2019-05-23 15:31:35 +03:00
Laurențiu Nicola	b08362f6d2	Address feedback	2019-05-21 16:28:10 +03:00
Laurențiu Nicola	9ade271a67	Use ThemeColor and add support for light themes	2019-05-21 14:19:08 +03:00
Aleksey Kladov	d7440a5f49	highlight macro idents	2018-12-28 18:17:43 +03:00
Adolfo Ochagavía	26d34cc443	Remove error publishing through publishDecorations	2018-10-10 16:49:32 +02:00
Daniel McNab	e26071d96e	Run prettier on all files	2018-10-08 22:38:33 +01:00
Adolfo Ochagavía	62b1b05a0d	Fix remaining tslint suggestions	2018-10-08 20:18:55 +02:00
Adolfo Ochagavía	4d62cfccbb	Apply tslint suggestions, round one	2018-10-07 23:12:40 +02:00
Adolfo Ochagavía	69de7e2fd7	Refactor vscode extension	2018-10-07 23:03:38 +02:00