Function adjustFontSize

src/cm/commandRegistry.js:1404–1411

(delta)

}

function adjustFontSize(delta) {
	const current = settings?.value?.fontSize || "12px";
	const numeric = Number.parseInt(current, 10) || 12;
	const next = Math.min(72, Math.max(6, numeric + delta));
	settings.value.fontSize = `${next}px`;
	settings.update(false);
	return true;
}

function adjustUiZoom(delta) {
	const current = Number(settings?.value?.uiZoom) || 100;