Source position: gtktooltips.inc line 87
procedure _gtk_tooltips_toggle_keyboard_mode(
widget: PGtkWidget
);