Terminal.setScrollUnitIsPixels
void setScrollUnitIsPixels(bool enable)Controls whether the terminal's scroll unit is lines or pixels.
This function is rarely useful, except when the terminal is added to a #GtkScrolledWindow.
Parameters
enable | whether to use pixels as scroll unit |