import { PreferenceProxy, PreferenceSchema } from '@theia/core';
export declare const TerminalManagerPreferenceSchema: PreferenceSchema;
export type TerminalManagerTreeViewLocation = 'left' | 'right';
export type TerminalGroupingMode = 'tabbed' | 'tree';
export interface TerminalManagerConfiguration {
    'terminal.grouping.treeViewLocation': TerminalManagerTreeViewLocation;
    'terminal.grouping.mode': TerminalGroupingMode;
}
export declare const TerminalManagerPreferences: unique symbol;
export declare const TerminalManagerPreferenceContribution: unique symbol;
export type TerminalManagerPreferences = PreferenceProxy<TerminalManagerConfiguration>;
//# sourceMappingURL=terminal-manager-preferences.d.ts.map