Skip to content

Conversation

cyqsimon
Copy link

@cyqsimon cyqsimon commented Sep 8, 2025

This looks better IMO.

@lhecker
Copy link
Member

lhecker commented Oct 14, 2025

I'm going to reject this PR as I personally like the current style more. I apologize.

@lhecker lhecker closed this Oct 14, 2025
@cyqsimon
Copy link
Author

I'm going to reject this PR as I personally like the current style more. I apologize.

Sure, no hard feelings.

It's just that this list is only going to grow longer and longer, so the scrolling is going to start becoming obnoxious. Well, this is an option for your reference.

@lhecker
Copy link
Member

lhecker commented Oct 14, 2025

I'll make sure to reconsider this once that happens. :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants