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