Method refreshSettings

src/code_view.ts:877–888

()

	// 供外部调用的刷新方法
	refreshSettings() {
		const plugin = this.getPlugin();
		if (plugin && plugin.settings) {
			this.fontSize = plugin.settings.editorFontSize || 16;
		}
		this.editorView.dispatch({
			effects: [
				this.lineNumbersCompartment.reconfigure(this.getLineNumbersExtension()),
				this.fontSizeCompartment.reconfigure(this.getFontSizeExtension())
			]
		});
	}

	// 切换搜索面板（供命令调用）
	toggleSearchPanel() {