mirror of
https://github.com/dbeaver/cloudbeaver.git
synced 2026-09-24 16:04:36 +08:00
* CB-4541 feat: tree filter * CB-4541 feat: tree empty placeholders * CB-4541 fix: settings overflow scroll effect * CB-4541 fix: settings groups size * CB-4541 fix: sync groups when filtering * CB-4541 chore: performance optimization * chore: review fixes * chore: replace inline styles * chore: replace inline styles * chore: hide extra settings from UI * chore: hide groups view from settings * fix: add override options to devtools * fix: trim filter in settings search * chore: localization --------- Co-authored-by: Evgenia Bezborodova <139753579+EvgeniaBzzz@users.noreply.github.com> Co-authored-by: kseniaguzeeva <112612526+kseniaguzeeva@users.noreply.github.com> Co-authored-by: mr-anton-t <42037741+mr-anton-t@users.noreply.github.com>
46 lines
1.6 KiB
TypeScript
46 lines
1.6 KiB
TypeScript
/*
|
|
* CloudBeaver - Cloud Database Manager
|
|
* Copyright (C) 2020-2024 DBeaver Corp and others
|
|
*
|
|
* Licensed under the Apache License, Version 2.0.
|
|
* you may not use this file except in compliance with the License.
|
|
*/
|
|
import { Dependency, injectable } from '@cloudbeaver/core-di';
|
|
import {
|
|
createSettingsAliasResolver,
|
|
ROOT_SETTINGS_LAYER,
|
|
SettingsProvider,
|
|
SettingsProviderService,
|
|
SettingsResolverService,
|
|
} from '@cloudbeaver/core-settings';
|
|
import { schema, schemaExtra } from '@cloudbeaver/core-utils';
|
|
|
|
const defaultSettings = schema.object({
|
|
'plugin.resource-manager.disabled': schemaExtra.stringedBoolean().default(false), //! use resourceManagerEnabled in server config instead
|
|
});
|
|
|
|
export type ResourceManagerSettings = schema.infer<typeof defaultSettings>;
|
|
|
|
@injectable()
|
|
export class ResourceManagerSettingsService extends Dependency {
|
|
get disabled(): boolean {
|
|
return this.settings.getValue('plugin.resource-manager.disabled');
|
|
}
|
|
readonly settings: SettingsProvider<typeof defaultSettings>;
|
|
|
|
constructor(
|
|
private readonly settingsProviderService: SettingsProviderService,
|
|
private readonly settingsResolverService: SettingsResolverService,
|
|
) {
|
|
super();
|
|
this.settings = this.settingsProviderService.createSettings(defaultSettings);
|
|
this.settingsResolverService.addResolver(
|
|
ROOT_SETTINGS_LAYER,
|
|
/** @deprecated Use settings instead, will be removed in 23.0.0 */
|
|
createSettingsAliasResolver(this.settingsResolverService, this.settings, {
|
|
'plugin.resource-manager.disabled': 'plugin_resource_manager.disabled',
|
|
}),
|
|
);
|
|
}
|
|
}
|