private void widthSpinner_ValueChanged(object sender, EventArgs e)
{
if (value_changing)
return;
if (aspectCheckbox.Active) {
value_changing = true;
heightSpinner.Value = (int)((widthSpinner.Value * PintaCore.Workspace.ImageSize.Y) / PintaCore.Workspace.ImageSize.X);
value_changing = false;
}
}