GAP Manual: 3.19. SizeScreen

SizeScreen()

In this form SizeScreen returns the size of the screen as a list with two entries. The first is the length of each line, the second is the number of lines.

SizeScreen( [ x, y ] )

In this form SizeScreen sets the size of the screen. x is the length of each line, y is the number of lines. Either value may be missing, to leave this value unaffected. Note that those parameters can also be set with the command line options -x x and -y y (see Getting and Installing GAP).


[next] [prev] [up]