wry/wire/wp_viewport.txt

# requests

msg destroy = 0 {
}

msg set_source = 1 {
    x: fixed,
    y: fixed,
    width: fixed,
    height: fixed,
}

msg set_destination = 2 {
    width: i32,
    height: i32,
}