public void ZoomTo(double zoomLevel) => EditorOperations.ZoomTo(zoomLevel);
public void ZoomReset() => EditorOperations.ZoomTo(DEFAULT_ZOOM);