Skip to content

Sticky scroll for terminal#197558

Merged
Tyriar merged 45 commits intomainfrom
tyriar/172742_sticky_scroll
Nov 8, 2023
Merged

Sticky scroll for terminal#197558
Tyriar merged 45 commits intomainfrom
tyriar/172742_sticky_scroll

Conversation

@Tyriar
Copy link
Copy Markdown
Contributor

@Tyriar Tyriar commented Nov 6, 2023

Fixes #172742

@Tyriar Tyriar added this to the November 2023 milestone Nov 6, 2023
@Tyriar Tyriar self-assigned this Nov 6, 2023
@Tyriar Tyriar changed the title Sticky scroll WIP Sticky scroll for terminal Nov 6, 2023
@Tyriar Tyriar force-pushed the tyriar/172742_sticky_scroll branch from 7382954 to df036f0 Compare November 8, 2023 16:44
meganrogge
meganrogge previously approved these changes Nov 8, 2023
Copy link
Copy Markdown
Collaborator

@meganrogge meganrogge left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👏🏼

meganrogge
meganrogge previously approved these changes Nov 8, 2023
meganrogge
meganrogge previously approved these changes Nov 8, 2023
@Tyriar Tyriar enabled auto-merge November 8, 2023 19:30
meganrogge
meganrogge previously approved these changes Nov 8, 2023
@Tyriar Tyriar merged commit f4aee33 into main Nov 8, 2023
@Tyriar Tyriar deleted the tyriar/172742_sticky_scroll branch November 8, 2023 20:09
@github-actions github-actions bot locked and limited conversation to collaborators Dec 23, 2023
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.

Sticky scroll for terminal commands

2 participants