aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbors[bot] <bors[bot]@users.noreply.github.com>2019-01-15 16:27:23 +0000
committerbors[bot] <bors[bot]@users.noreply.github.com>2019-01-15 16:27:23 +0000
commit05ed6c548a7672e2c9472276a652c374a5d2a212 (patch)
tree1986afe375836975bc6d8e0969c413d3e901c1d5
parent323938dae58576f5fa86ddebf88fdcb5b09662ed (diff)
parent86775c14184c1dfaf90f4aecadb21f60f8f49eee (diff)
Merge #554
554: Fail Travis on Prettier formatting issues r=matklad a=alanhdu Co-authored-by: Alan Du <[email protected]>
-rw-r--r--editors/code/package.json2
-rw-r--r--editors/code/src/commands/apply_source_change.ts5
2 files changed, 5 insertions, 2 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 389061e3c..dcd074b8b 100644
--- a/editors/code/src/commands/apply_source_change.ts
+++ b/editors/code/src/commands/apply_source_change.ts
@@ -46,6 +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(new vscode.Range(position, position), vscode.TextEditorRevealType.Default); 49 editor.revealRange(
50 new vscode.Range(position, position),
51 vscode.TextEditorRevealType.Default
52 );
50 } 53 }
51} 54}