gjs-example.js revision bb061708d5aa83579f213bdfb67253f7027217c3
// This currently depends on the following patches to gjs
//
function print_device (device) {
}
}
print ("");
}
}
var d;
if (d == null) {
print ("query_by_device_number 0x810 -> null");
} else {
print_device (dd);
print ("--------------------------------------------------------------------------");
while (d != null) {
print_device (d);
print ("");
d = d.get_parent ();
}
}