Function getTabSize

src/cm/indentGuides.ts:48–51

* Get the tab size from editor state

(state: EditorState)

 * Get the tab size from editor state
 */
function getTabSize(state: EditorState): number {
	const tabSize = state.facet(EditorState.tabSize);
	return Number.isFinite(tabSize) && tabSize > 0 ? tabSize : 4;
}

/**
 * Resolve the indentation width used for guide spacing.