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