Skip to content
This repository was archived by the owner on Oct 7, 2025. It is now read-only.

Conversation

@jepler
Copy link
Owner

@jepler jepler commented Apr 22, 2025

No description provided.

jepler added 3 commits April 22, 2025 20:25
.. by removing the top & bottom borders. For some reason these appeared
not to be accounted when sizing the widget to its content?  not sure.
anyway this improves it.
ctrl-c can now be copy instead of yank (yay!)
@jepler jepler merged commit eecfa79 into main May 16, 2025
4 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants