vga_setflipchar man page
vga_setflipchar — set the character causing a vga_flip()
int vga_setflipchar(int c);
This sets the ASCII code of the key which causes vga_getch(3) to shortly switch between graphics and text mode when waiting for a keypress. <ESC> is the default at startup.
Because one can now swicth directly between consoles even when in graphics modes and the use of vga_flip(3) is discouraged except for debugging, this function is just there for vgalib compatibility but has no effect!
svgalib(7), vgagl(7), libvga.config(5), vga_flip(3), vga_getkey(3), vga_waitevent(3),
This manual page was edited by Michael Weller <email@example.com>. The exact source of the referenced function as well as of the original documentation is unknown.
It is very likely that both are at least to some extent are due to Harm Hanemaayer <H.Hanemaayer@inter.nl.net>.
Occasionally this might be wrong. I hereby asked to be excused by the original author and will happily accept any additions or corrections to this first version of the svgalib manual.
svgalib(7), vga_flip(3), vga_getch(3).