Method getFontSizeExtension

src/code_view.ts:855–874

()

	}

	getFontSizeExtension(): Extension {
		// 使用 EditorView.theme 统一设置所有元素的字体大小和行高
		const lineHeight = 1.5;
		return EditorView.theme({
			"&": {
				fontSize: `${this.fontSize}px`
			},
			".cm-content": {
				fontSize: `${this.fontSize}px`,
				lineHeight: `${lineHeight}`
			},
			".cm-gutters": {
				fontSize: `${this.fontSize}px`
			},
			".cm-line": {
				fontSize: `${this.fontSize}px`,
				lineHeight: `${lineHeight}`
			}
		});
	}

	// 供外部调用的刷新方法
	refreshSettings() {