Adjustment.setPageIncrement

void setPageIncrement(double pageIncrement)

Sets the page increment of the adjustment.

See [gtk.adjustment.Adjustment.setLower] about how to compress multiple emissions of the [gtk.adjustment.Adjustment.changed] signal when setting multiple adjustment properties.

Parameters

pageIncrement the new page increment