archive file - open in profiler

This commit is contained in:
Jan Prochazka
2022-12-17 20:07:26 +01:00
parent 123e00ecbc
commit 274fcd339b
3 changed files with 42 additions and 7 deletions

View File

@@ -216,7 +216,7 @@ export const getCurrentDatabase = () => currentDatabaseValue;
let currentSettingsValue = null;
export const getCurrentSettings = () => currentSettingsValue || {};
let extensionsValue = null;
let extensionsValue: ExtensionsDirectory = null;
extensions.subscribe(value => {
extensionsValue = value;
});