pgtk_toggle_invisible_pointer 4774 src/pgtkterm.c   terminal->toggle_invisible_pointer_hook = pgtk_toggle_invisible_pointer;
pgtk_toggle_invisible_pointer 5658 src/pgtkterm.c 	pgtk_toggle_invisible_pointer (frame, false);