Skip to content

Conversation

@bplaat
Copy link
Member

@bplaat bplaat commented Sep 7, 2025

Follow up of #26171, this pr adds color theme options for overlay windows. And fixes a bug where changing the theme wouldn't update the theme of RectangularOverlays.

I know the themes.ini changes are super duplicated but sadly there is not a clear fallback property system so for clarity I've set most new props.

@github-actions github-actions bot added the 👀 pr-needs-review PR needs review from a maintainer or community member label Sep 7, 2025
@bplaat bplaat force-pushed the overlay-theme-fixes branch from 5c49280 to 3b33363 Compare September 25, 2025 06:16
@stale
Copy link

stale bot commented Oct 16, 2025

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed in 7 days if no further activity occurs. Thank you for your contributions!

@stale stale bot added the stale label Oct 16, 2025
@bplaat bplaat force-pushed the overlay-theme-fixes branch from 3b33363 to 22c437d Compare October 17, 2025 11:02
@stale stale bot removed the stale label Oct 17, 2025
@bplaat
Copy link
Member Author

bplaat commented Oct 17, 2025

Not stale

@stale
Copy link

stale bot commented Nov 12, 2025

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed in 7 days if no further activity occurs. Thank you for your contributions!

@stale stale bot added the stale label Nov 12, 2025
@bplaat
Copy link
Member Author

bplaat commented Nov 12, 2025

Not stale

@stale stale bot removed the stale label Nov 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

👀 pr-needs-review PR needs review from a maintainer or community member

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant