Enable tslint number-literal-format

This commit is contained in:
Matt Bierner
2019-01-04 15:45:28 -08:00
parent a131278f4a
commit 873fc8fc38
32 changed files with 70 additions and 70 deletions

View File

@@ -853,7 +853,7 @@ export class HighlightingWorkbenchTree extends WorkbenchTree {
this.refresh().then(() => {
if (topElement) {
this.reveal(topElement, .5).then(_ => {
this.reveal(topElement, 0.5).then(_ => {
this.setSelection([topElement], this);
this.setFocus(topElement, this);
});