GRX.Pixmap.width – ev3devkit Reference Manual
Packages
ev3devkit
GRX
Pixmap
Pixmap
height
is_pixmap
operator
pxp_source
width
width
Description:
public
int
width