diff --git a/src/vs/workbench/parts/html/browser/webview-pre.js b/src/vs/workbench/parts/html/browser/webview-pre.js index bcc0fd9fe68c6575555d05ed439d95abdfc5e611..2ff559bd3b0f6340e10baf694accc9754861c106 100644 --- a/src/vs/workbench/parts/html/browser/webview-pre.js +++ b/src/vs/workbench/parts/html/browser/webview-pre.js @@ -15,7 +15,7 @@ function styleBody(body) { }; function getTarget() { - return document.getElementById('_target');; + return document.getElementById('_target'); }; const ipcRenderer = require('electron').ipcRenderer; @@ -130,7 +130,7 @@ document.addEventListener("DOMContentLoaded", function (event) { // workaround for https://github.com/Microsoft/vscode/issues/12865 // check new scrollTop and reset if neccessary - setTimeout(() => { + setTimeout(function () { if (scrollTop !== newFrame.contentDocument.body.scrollTop) { newFrame.contentDocument.body.scrollTop = scrollTop; }