I wonder, if it is possible to change the increment the PtHtml widget
scrolls its contents when pressing the arrow keys of the scrollbar. By
itself it scrolls pixelwise, but I want it do scroll at larger portions.
I would prefer to set a parameter like Pt_ARG_SCROLL_AREA_INCREMENT_Y
as in the PtScrollArea widget. But PtHtml seems not to inherit
PtScrollArea.
Is there a undocumented way to change the scroll increment?
I wonder, if it is possible to change the increment the PtHtml widget
scrolls its contents when pressing the arrow keys of the scrollbar. By
itself it scrolls pixelwise, but I want it do scroll at larger portions.
I would prefer to set a parameter like Pt_ARG_SCROLL_AREA_INCREMENT_Y
as in the PtScrollArea widget. But PtHtml seems not to inherit
PtScrollArea.
Is there a undocumented way to change the scroll increment?