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