@theia/output
Version:
Theia - Output Extension
12 lines • 749 B
TypeScript
import { interfaces } from '@theia/core/shared/inversify';
import { PreferenceProxy, PreferenceSchema, PreferenceService } from '@theia/core/lib/browser/preferences';
export declare const OutputConfigSchema: PreferenceSchema;
export interface OutputConfiguration {
'output.maxChannelHistory': number;
}
export declare const OutputPreferenceContribution: unique symbol;
export declare const OutputPreferences: unique symbol;
export type OutputPreferences = PreferenceProxy<OutputConfiguration>;
export declare function createOutputPreferences(preferences: PreferenceService, schema?: PreferenceSchema): OutputPreferences;
export declare function bindOutputPreferences(bind: interfaces.Bind): void;
//# sourceMappingURL=output-preferences.d.ts.map