6.3.3 device

dev(ice) deviceNumber

Argument:

(int) deviceNumber = identifier of device to switch to

deviceNumber = ?

Switch to the selected device for graphical output. The selected device has to be opened with open (see 6.3.4).

Examples:

device 2: switch to device number 2

device ?: provide a list of all open devices and the identifier of the current device