the input() box is not restored on refresh #12

Open

Open

the input() box is not restored on refresh#12

Labels

opened

on May 21, 2024

reported by @krassowski in jupyterlab/jupyter-collaboration#307 (comment)

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests