8000 `previous-next-commit-buttons` - Restore on new PR commit pages by SunsetTechuila · Pull Request #8830 · refined-github/refined-github · GitHub
[go: up one dir, main page]

Skip to content

Conversation

@SunsetTechuila
Copy link
Member
@SunsetTechuila SunsetTechuila commented Dec 22, 2025

related: refined-github/github-url-detection#212

Test URLs

https://github.com/refined-github/refined-github/pull/4448/changes/0b8966c918eae11da9fc992368741757088edf08

Screenshot

image

@SunsetTechuila
Copy link
Member Author

I think we should move those buttons to the sticky header. It would be much more convenient this way

image

@fregante
Copy link
Member

I think we should move those buttons to the sticky header. It would be much more convenient this way

That bar is too busy already, I don't want to add more items. Open the sidebar, fix the "quick diff buttons" feature, have a moderately-sized monitor and it will overflow. This is not something so important that needs this extra trouble.

@fregante fregante added the bug label Dec 22, 2025
@fregante fregante enabled auto-merge (squash) January 3, 2026 08:59
@fregante fregante merged commit 82e3e02 into refined-github:main Jan 3, 2026
7 checks passed
@SunsetTechuila SunsetTechuila deleted the prev-next branch January 3, 2026 12:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Development

Successfully merging this pull request may close these issues.

2 participants

0