Function adjustUiZoom

src/cm/commandRegistry.js:1413–1419

(delta)

}

function adjustUiZoom(delta) {
	const current = Number(settings?.value?.uiZoom) || 100;
	const next = Math.min(160, Math.max(70, current + delta));
	settings.value.uiZoom = next;
	settings.update(false);
	return true;
}

function parseKeyString(keyString) {
	if (!keyString) return [];