or pixels. This can be enabled when the terminal is the child of a GtkScrolledWindow to fix some bugs with its kinetic scrolling.
Terminal.scrollUnitIsPixels
bool scrollUnitIsPixels() @propertyGet scrollUnitIsPixels property.
Returns
Controls whether the terminal's GtkAdjustment values unit is lines
void scrollUnitIsPixels(bool propval) @propertySet scrollUnitIsPixels property.
Parameters
propval | Controls whether the terminal's GtkAdjustment values unit is lines or pixels. This can be enabled when the terminal is the child of a GtkScrolledWindow to fix some bugs with its kinetic scrolling. |