Grégoire Geis 875dc6d1a4

Merge two if statements into one in editors/code/src/commands/on_enter.ts. ...

Co-Authored-By: Veetaha <veetaha2@gmail.com>

2020-02-04 01:44:12 +01:00

..

commands

Merge two if statements into one in editors/code/src/commands/on_enter.ts.

2020-02-04 01:44:12 +01:00

client.ts

vscode extension: migrate from any to unknown where possible

2020-02-02 22:19:59 +02:00

color_theme.ts

vscode extension: migrate from any to unknown where possible

2020-02-02 22:19:59 +02:00

config.ts

Improve readability

2020-01-14 22:52:49 -05:00

ctx.ts

Remove enableEnhancedTyping and type overriding infrastructure.

2020-02-03 20:24:50 +01:00

highlighting.ts

Use simple prng instead of a dependency

2020-02-03 16:37:12 +01:00

inlay_hints.ts

vscode extension cleanup: migrate to prefer-const tslint rule

2020-02-02 21:12:59 +02:00

main.ts

Remove enableEnhancedTyping and type overriding infrastructure.

2020-02-03 20:24:50 +01:00

source_change.ts

Apply the api design suggestions

2020-01-15 20:17:17 +02:00

status_display.ts

vscode: use void where possible

2020-02-02 23:24:09 +02:00