Merge pull request #2800 from cdr/no-default-home

This commit is contained in:
Asher 2021-03-02 10:13:10 -06:00 committed by GitHub
commit 29f302128a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 4 deletions

View File

@ -1 +0,0 @@
lib

View File

@ -106,11 +106,11 @@ export class Vscode {
['enableProposedApi', JSON.stringify(options.args['enable-proposed-api'] || [])] ['enableProposedApi', JSON.stringify(options.args['enable-proposed-api'] || [])]
], ],
}, },
homeIndicator: { homeIndicator: options.args.home ? {
href: options.args.home || 'https://github.com/cdr/code-server', href: options.args.home,
icon: 'code', icon: 'code',
title: localize('home', "Home"), title: localize('home', "Home"),
}, } : undefined,
}, },
remoteUserDataUri: transformer.transformOutgoing(URI.file(environment.userDataPath)), remoteUserDataUri: transformer.transformOutgoing(URI.file(environment.userDataPath)),
productConfiguration: product, productConfiguration: product,