signal callback delegate or function to connect
void callback(gtk.types.ScrollStep step, int num, gtksource.completion.Completion completion)
step The #GtkScrollStep by which to move the page (optional)
num The amount of steps to move the page (optional)
completion the instance the signal is connected to (optional)
Yes.After to execute callback after default handler, No.After to execute before (default)
Signal ID
Connect to MovePage signal.
The #GtkSourceCompletion::move-page signal is a keybinding signal which gets emitted when the user initiates a page movement (i.e. switches between provider pages).
<keycombo><keycap>Control</keycap><keycap>Left</keycap></keycombo> is for going to the previous provider. <keycombo><keycap>Control</keycap><keycap>Right</keycap></keycombo> is for going to the next provider. <keycombo><keycap>Control</keycap><keycap>Home</keycap></keycombo> is for displaying all the providers. <keycombo><keycap>Control</keycap><keycap>End</keycap></keycombo> is for going to the last provider.
When step is equal to #GTK_SCROLL_PAGES, the page size is defined by the #GtkSourceCompletion:provider-page-size property.
Applications should not connect to it, but may emit it with gobject.global.signalEmitByName if they need to control the page selection programmatically.