diff options
Diffstat (limited to 'editors')
-rw-r--r-- | editors/code/package.json | 2 | ||||
-rw-r--r-- | editors/code/src/commands/apply_source_change.ts | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/editors/code/package.json b/editors/code/package.json index 026ef6842..9433bd3d2 100644 --- a/editors/code/package.json +++ b/editors/code/package.json | |||
@@ -24,7 +24,7 @@ | |||
24 | "fix": "prettier **/*.{json,ts} --write && tslint --project . --fix", | 24 | "fix": "prettier **/*.{json,ts} --write && tslint --project . --fix", |
25 | "lint": "tslint --project .", | 25 | "lint": "tslint --project .", |
26 | "prettier": "prettier **/*.{json,ts}", | 26 | "prettier": "prettier **/*.{json,ts}", |
27 | "travis": "npm run compile && npm run lint && npm run prettier --list-different" | 27 | "travis": "npm run compile && npm run lint && npm run prettier -- --list-different" |
28 | }, | 28 | }, |
29 | "prettier": { | 29 | "prettier": { |
30 | "tabWidth": 4, | 30 | "tabWidth": 4, |
diff --git a/editors/code/src/commands/apply_source_change.ts b/editors/code/src/commands/apply_source_change.ts index 675a534c8..dcd074b8b 100644 --- a/editors/code/src/commands/apply_source_change.ts +++ b/editors/code/src/commands/apply_source_change.ts | |||
@@ -46,5 +46,9 @@ export async function handle(change: SourceChange) { | |||
46 | return; | 46 | return; |
47 | } | 47 | } |
48 | editor.selection = new vscode.Selection(position, position); | 48 | editor.selection = new vscode.Selection(position, position); |
49 | editor.revealRange( | ||
50 | new vscode.Range(position, position), | ||
51 | vscode.TextEditorRevealType.Default | ||
52 | ); | ||
49 | } | 53 | } |
50 | } | 54 | } |