Skip to content

adjust the terminal size according to the browser. #2

@miaoever

Description

@miaoever

terminal.size = max(browser.size, new_terminal_size);

Metadata

Metadata

Assignees

Labels

No labels
No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions