Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

acme: fix incorrect border height after grow #489

Merged
merged 1 commit into from
Jul 26, 2022
Merged

acme: fix incorrect border height after grow #489

merged 1 commit into from
Jul 26, 2022

Conversation

chyvonomys
Copy link
Contributor

fixes #404

@chyvonomys chyvonomys changed the title make sure border has correct height make sure border has correct height after grow Mar 21, 2021
@chyvonomys chyvonomys changed the title make sure border has correct height after grow acme: fix incorrect border height after grow Mar 21, 2021
martijn-heil pushed a commit to martijn-heil/9front that referenced this pull request Aug 29, 2021
@oridb
acme: fix border size, autoindent undo: imported from plan9port (than…
5eb1faf 
…ks jxy)

origin:

9fans/plan9port#493
9fans/plan9port#489
9fans/plan9port#461
rdbyk pushed a commit to rdbyk/9front that referenced this pull request Nov 13, 2021
@oridb
acme: fix border size, autoindent undo: imported from plan9port (than…
be889f9 
…ks jxy)

origin:

9fans/plan9port#493
9fans/plan9port#489
9fans/plan9port#461
@dancrossnyc dancrossnyc merged commit 6f35cfa into 9fans:master Jul 26, 2022
@chyvonomys chyvonomys deleted the colgrow-bordersize branch July 30, 2022 16:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

acme x11: growing window draws wrong border size
2 participants
@chyvonomys @dancrossnyc