'Return *rect* mapped from local coordinates to device coordinates (pixels).
If there is no device mapping available, return None.'

def mapRectToDevice(self, rect):

    vt = self.deviceTransform()
    if (vt is None):
        return None
    return vt.mapRect(rect)
