workbench-dev.html 1.9 KB
Newer Older
1 2 3 4 5 6 7 8 9 10
<!-- Copyright (C) Microsoft Corporation. All rights reserved. -->
<!DOCTYPE html>
<html>
	<head>
		<meta charset="utf-8" />

		<!-- Disable pinch zooming -->
		<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, minimum-scale=1.0, user-scalable=no">

		<!-- Workbench Configuration -->
B
Benjamin Pasero 已提交
11
		<meta id="vscode-workbench-web-configuration" data-settings="{{WORKBENCH_WEB_CONFIGURATION}}">
12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29

		<!-- Workarounds/Hacks (remote user data uri) -->
		<meta id="vscode-remote-user-data-uri" data-settings="{{REMOTE_USER_DATA_URI}}">

		<!-- Workbench Icon/Manifest/CSS -->
		<link rel="icon" href="/favicon.ico" type="image/x-icon" />
		<link rel="manifest" href="/manifest.json">
	</head>

	<body aria-label="">
	</body>

	<!-- Startup (do not modify order of script tags!) -->
	<script>
		// NOTE: Changes to inline scripts require update of content security policy
		self.require = {
			baseUrl: `${window.location.origin}/static/out`,
			paths: {
30 31 32 33 34 35
				'vscode-textmate': `${window.location.origin}/static/remote/web/node_modules/vscode-textmate/release/main`,
				'onigasm-umd': `${window.location.origin}/static/remote/web/node_modules/onigasm-umd/release/main`,
				'xterm': `${window.location.origin}/static/remote/web/node_modules/xterm/lib/xterm.js`,
				'xterm-addon-search': `${window.location.origin}/static/remote/web/node_modules/xterm-addon-search/lib/xterm-addon-search.js`,
				'xterm-addon-web-links': `${window.location.origin}/static/remote/web/node_modules/xterm-addon-web-links/lib/xterm-addon-web-links.js`,
				'semver-umd': `${window.location.origin}/static/remote/web/node_modules/semver-umd/lib/semver-umd.js`,
36 37 38 39 40 41
			}
		};
	</script>
	<script src="./static/out/vs/loader.js"></script>
	<script>
		// NOTE: Changes to inline scripts require update of content security policy
42
		require(['vs/code/browser/workbench/workbench'], function() {});
43 44
	</script>
</html>