Skip to content

feat: resizable extension UI#1009

Merged
ayangweb merged 29 commits intomainfrom
feat/extension_ui
Dec 19, 2025
Merged

feat: resizable extension UI#1009
ayangweb merged 29 commits intomainfrom
feat/extension_ui

Conversation

@SteveLauC
Copy link
Copy Markdown
Member

@SteveLauC SteveLauC commented Dec 16, 2025

What does this PR do

image image

Rationale for this change

Standards checklist

  • The PR title is descriptive
  • The commit messages are semantic
  • Necessary tests are added
  • Updated the release notes
  • Necessary documents have been added if this is a new feature
  • Performance tests checked, no obvious performance degradation

@SteveLauC SteveLauC marked this pull request as draft December 16, 2025 03:37
@SteveLauC SteveLauC closed this Dec 18, 2025
@SteveLauC SteveLauC reopened this Dec 18, 2025
@SteveLauC SteveLauC changed the title wip feat: resizable extension UI Dec 18, 2025
@RainyNight9 RainyNight9 marked this pull request as ready for review December 18, 2025 10:25
@ayangweb ayangweb merged commit f483ce4 into main Dec 19, 2025
7 checks passed
@ayangweb ayangweb deleted the feat/extension_ui branch December 19, 2025 01:01
SteveLauC added a commit that referenced this pull request Dec 22, 2025
It was a placeholder that I added in PR #1009, I forgot to remove it
before merging that PR. Let's remove it now.
@SteveLauC SteveLauC mentioned this pull request Dec 22, 2025
6 tasks
medcl pushed a commit that referenced this pull request Dec 22, 2025
It was a placeholder that I added in PR #1009, I forgot to remove it
before merging that PR. Let's remove it now.
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.

4 participants