All pull requests

Labels 10 (10)Milestones 0 (0)New pull request

Search pull requests

is:pr state:open

is:pr state:open

Clear filter

Search

Pull requests

Open

1 (1)

Closed

0 (0)

Author

Label

Projects

MilestonesReviews

AssigneeSort by Newest descendingSort…Sort by Newest descending

More items

• Comfortable display density
• Compact display density

• fix: restore the cut from session history after a restart

  #1·gpoulios opened Oct 15, 2026·

  ·