Set makeSelected to true for two calls

This commit is contained in:
Robert
2023-04-27 15:13:36 +01:00
parent 62737146fe
commit 9941a42dd9

View File

@@ -636,7 +636,13 @@ export class DatabaseUI extends DisposableObject {
this.queryServer?.cliServer,
);
} else {
await this.databaseManager.openDatabase(progress, token, uri);
const makeSelected = true;
await this.databaseManager.openDatabase(
progress,
token,
uri,
makeSelected,
);
}
} catch (e) {
// rethrow and let this be handled by default error handling.
@@ -751,10 +757,12 @@ export class DatabaseUI extends DisposableObject {
if (byFolder) {
const fixedUri = await this.fixDbUri(uri);
// we are selecting a database folder
const makeSelected = true;
return await this.databaseManager.openDatabase(
progress,
token,
fixedUri,
makeSelected,
);
} else {
// we are selecting a database archive. Must unzip into a workspace-controlled area