(raw: RawClient["server.pty"])
| 562 | readonly size?: Endpoint14_3Request["payload"]["size"] |
| 563 | } |
| 564 | const Endpoint14_3 = (raw: RawClient["server.pty"]) => (input: Endpoint14_3Input) => |
| 565 | raw["pty.update"]({ |
| 566 | params: { ptyID: input["ptyID"] }, |
| 567 | query: { location: input["location"] }, |
| 568 | payload: { title: input["title"], size: input["size"] }, |
| 569 | }).pipe(Effect.mapError(mapClientError)) |
| 570 | |
| 571 | type Endpoint14_4Request = Parameters<RawClient["server.pty"]["pty.remove"]>[0] |
| 572 | type Endpoint14_4Input = { |