chore: generate
This commit is contained in:
parent
f2cf607376
commit
8cc2276dba
6 changed files with 1358 additions and 43 deletions
|
|
@ -278,8 +278,7 @@ export const layer = Layer.effect(
|
|||
const update = Effect.fn("Pty.update")(function* (id: PtyID, input: UpdateInput) {
|
||||
const session = yield* requireSession(id)
|
||||
if (input.title) session.info.title = input.title
|
||||
if (input.size && session.info.status === "running")
|
||||
session.process.resize(input.size.cols, input.size.rows)
|
||||
if (input.size && session.info.status === "running") session.process.resize(input.size.cols, input.size.rows)
|
||||
yield* events.publish(Event.Updated, { info: session.info })
|
||||
return session.info
|
||||
})
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue