/// <summary>
/// Change the font size
/// </summary>
/// <param name="newSize">New base font size, in points</param>
private void SetFontSize(double newSize)
{
newSize = Math.Min(40.0, Math.Max(4.0, newSize));
// Convert the new size from points to Pango units
int newVal = Convert.ToInt32(newSize * Pango.Scale.PangoScale);
baseFont.Size = newVal;
// Iterate through all existing controls, setting the new base font
if (_mainWidget != null)
{
SetWidgetFont(_mainWidget, baseFont);
}
// Reset the style machinery to apply the new base font to all
// newly created Widgets.
Rc.ReparseAllForSettings(Settings.Default, true);
}
