Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | removed `type.alias` | Omer Ben-Amram | 2019-12-14 | 1 | -0/+1 |
| | |||||
* | added decorations | Omer Ben-Amram | 2019-12-14 | 1 | -0/+6 |
| | |||||
* | Code: enable prettier trailing commas | Laurențiu Nicola | 2019-12-09 | 1 | -8/+8 |
| | |||||
* | Code: bump deps | Laurențiu Nicola | 2019-12-08 | 1 | -3/+4 |
| | |||||
* | underline mutable bindings | Aleksey Kladov | 2019-07-19 | 1 | -27/+34 |
| | |||||
* | highlight mutable variables differently | Ekaterina Babshukova | 2019-07-18 | 1 | -0/+1 |
| | |||||
* | Make rainbows optional | Pascal Hertleif | 2019-05-27 | 1 | -5/+6 |
| | |||||
* | Semantic highlighting spike | Pascal Hertleif | 2019-05-27 | 1 | -3/+42 |
| | | | | | | | | | | 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? | ||||
* | Improve highlighting of name refs | Laurențiu Nicola | 2019-05-23 | 1 | -1/+6 |
| | |||||
* | Address feedback | Laurențiu Nicola | 2019-05-21 | 1 | -3/+2 |
| | |||||
* | Use ThemeColor and add support for light themes | Laurențiu Nicola | 2019-05-21 | 1 | -13/+22 |
| | |||||
* | highlight macro idents | Aleksey Kladov | 2018-12-28 | 1 | -1/+2 |
| | |||||
* | Remove error publishing through publishDecorations | Adolfo Ochagavía | 2018-10-10 | 1 | -7/+0 |
| | |||||
* | Run prettier on all files | Daniel McNab | 2018-10-08 | 1 | -17/+28 |
| | |||||
* | Fix remaining tslint suggestions | Adolfo Ochagavía | 2018-10-08 | 1 | -31/+35 |
| | |||||
* | Apply tslint suggestions, round one | Adolfo Ochagavía | 2018-10-07 | 1 | -33/+33 |
| | |||||
* | Refactor vscode extension | Adolfo Ochagavía | 2018-10-07 | 1 | -0/+78 |