web - improve window indicator

This commit is contained in:
Benjamin Pasero
2020-08-28 17:50:34 +02:00
parent 0ffdb5ac51
commit 513807b0e4
2 changed files with 11 additions and 25 deletions

View File

@@ -27,7 +27,7 @@ const BUILTIN_MARKETPLACE_EXTENSIONS_ROOT = path.join(APP_ROOT, '.build', 'built
const WEB_DEV_EXTENSIONS_ROOT = path.join(APP_ROOT, '.build', 'builtInWebDevExtensions');
const WEB_MAIN = path.join(APP_ROOT, 'src', 'vs', 'code', 'browser', 'workbench', 'workbench-dev.html');
const WEB_PLAYGROUND_VERSION = '0.0.4';
const WEB_PLAYGROUND_VERSION = '0.0.5';
const args = minimist(process.argv, {
boolean: [