Skip to content

Plugin: disallow overriding window overview#2753

Merged
lenemter merged 1 commit intomainfrom
lenemter/remove-plugin-window-overview
Feb 7, 2026
Merged

Plugin: disallow overriding window overview#2753
lenemter merged 1 commit intomainfrom
lenemter/remove-plugin-window-overview

Conversation

@lenemter
Copy link
Member

@lenemter lenemter commented Feb 6, 2026

No one was using it anyway

@lenemter lenemter requested a review from a team February 6, 2026 15:21
@lenemter lenemter force-pushed the lenemter/remove-plugin-window-overview branch from bffddc8 to d074f85 Compare February 7, 2026 14:13
@lenemter lenemter merged commit d5cc5df into main Feb 7, 2026
6 checks passed
@lenemter lenemter deleted the lenemter/remove-plugin-window-overview branch February 7, 2026 14:14
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