device-manager icon indicating copy to clipboard operation
device-manager copied to clipboard

Published 20 hours ago • verified publisher icon dojot

dojot GUI and DeviceManager have different naming rules for devices

Open giovannicuriel opened this issue 6 years ago • 0 comments

GUI is more strict when checking device names - DeviceManager allows more stuff, but there is no way to tell (from a third-party developer standpoint) which one is right.

giovannicuriel avatar Sep 17 '18 20:09 giovannicuriel