set_fullscreen_state 4453 src/pgtkterm.c       set_fullscreen_state (f);
set_fullscreen_state 5486 src/pgtkterm.c 	set_fullscreen_state (f);