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