device_properties property

Pointer<Char> device_properties
getter/setter pair

Implementation

external Pointer<Char> device_properties;