int *natural_baseline)
{
if (orientation == GTK_ORIENTATION_VERTICAL)
+ {
// Set minimum height of form widget to 4 rows.
- *minimum = *natural = gui.char_height * 4;
+ if (minimum != NULL)
+ *minimum = gui.char_height * 4;
+ if (natural != NULL)
+ *natural = gui.char_height * 4;
+ }
else
+ {
// Set minimum width of form widget to 10 columns.
- *minimum = *natural = gui.char_width * 10;
+ if (minimum != NULL)
+ *minimum = gui.char_width * 10;
+ if (natural != NULL)
+ *natural = gui.char_width * 10;
+ }
- *minimum_baseline = -1;
- *natural_baseline = -1;
+ if (minimum_baseline != NULL)
+ *minimum_baseline = -1;
+ if (natural_baseline != NULL)
+ *natural_baseline = -1;
}