@theia/core
Version:
Theia is a cloud & desktop IDE framework implemented in TypeScript.
16 lines • 731 B
TypeScript
import { interfaces } from 'inversify';
import { FrontendApplicationConfig } from '@theia/application-package/lib/application-props';
export declare function bindPreferenceSchemaProvider(bind: interfaces.Bind): void;
/**
* Specialized {@link FrontendApplicationConfig} to configure default
* preference values for the {@link PreferenceSchemaProvider}.
*/
export interface FrontendApplicationPreferenceConfig extends FrontendApplicationConfig {
preferences: {
[preferenceName: string]: any;
};
}
export declare namespace FrontendApplicationPreferenceConfig {
function is(config: FrontendApplicationConfig): config is FrontendApplicationPreferenceConfig;
}
//# sourceMappingURL=preference-contribution.d.ts.map