export const TREE_GUTTER_WIDTH = 2;
export const MIN_VISIBLE_ANCHOR_CONTENT_WIDTH = 4;
export const MAX_VISIBLE_ANCHOR_CONTENT_WIDTH = 20;
export const MIN_ANCHOR_CONTEXT_WIDTH = 2;
export const MAX_ANCHOR_CONTEXT_WIDTH = 12;
//# sourceMappingURL=tree-selector-types.js.map