GtkSource.Completion.page_size – gtksourceview-5 Reference Manual
page_size
Description:
public
uint
page_size
{
get
;
set
; }
The number of rows to display to the user before scrolling.
2022 vala-language.org