From 4b048ee9110393f3657befab55de4ac5a96dd610 Mon Sep 17 00:00:00 2001 From: Johannes Rieken Date: Wed, 8 Jun 2016 13:53:22 +0200 Subject: [PATCH] remove dead code, #7405 --- src/vs/base/browser/htmlContentRenderer.ts | 37 ---------------------- 1 file changed, 37 deletions(-) diff --git a/src/vs/base/browser/htmlContentRenderer.ts b/src/vs/base/browser/htmlContentRenderer.ts index ac711186b3c..f81d5fada3d 100644 --- a/src/vs/base/browser/htmlContentRenderer.ts +++ b/src/vs/base/browser/htmlContentRenderer.ts @@ -7,9 +7,6 @@ import DOM = require('vs/base/browser/dom'); import {IHTMLContentElement} from 'vs/base/common/htmlContent'; -// import {TPromise} from 'vs/base/common/winjs.base'; -// import {WorkerClient} from 'vs/base/common/worker/workerClient'; -// import {DefaultWorkerFactory} from 'vs/base/worker/defaultWorkerFactory'; import {marked} from 'vs/base/common/marked/marked'; import {IMouseEvent} from 'vs/base/browser/mouseEvent'; @@ -147,40 +144,6 @@ function getSafeTagName(tagName: string): string { return null; } -// // --- markdown worker renderer - -// namespace marked { - -// const workerFactory = new DefaultWorkerFactory(); -// let worker: WorkerClient; -// let workerDisposeHandle: number; - -// export function html(source: string): TPromise { - -// const t1 = Date.now(); -// if (!worker) { -// worker = new WorkerClient(workerFactory, 'vs/base/common/marked/simpleMarkedWorker', (msg) => msg.type, client => { shutdown(); }); -// } - -// function shutdown() { -// if (worker) { -// worker.dispose(); -// worker = undefined; -// } -// } - -// // re-schedule termination -// clearTimeout(workerDisposeHandle); -// workerDisposeHandle = setTimeout(shutdown, 1000 * 5); - -// return worker.request('markdownToHtml', { source, hightlight: false }).then(html => { -// console.log(`t1: ${Date.now() - t1}ms`); -// return html; -// }); -// } - -// } - // --- formatted string parsing class StringStream {