Skip to content

Ready for PR#22

Merged
sawka merged 2 commits intomainfrom
PE_153-Close_without_saving
Sep 18, 2023
Merged

Ready for PR#22
sawka merged 2 commits intomainfrom
PE_153-Close_without_saving

Conversation

@anandamarsh
Copy link
Copy Markdown

No description provided.

@anandamarsh anandamarsh requested a review from sawka September 18, 2023 02:07
@sawka sawka merged commit 7e4401a into main Sep 18, 2023
@anandamarsh anandamarsh deleted the PE_153-Close_without_saving branch September 20, 2023 00:11
xxyy2024 pushed a commit to xxyy2024/waveterm_aipy that referenced this pull request Jun 24, 2025
…ev#22)

I noticed that the display nodes weren't getting updated when the browser zoom level changed. I found that using ResizeObserver was a better mechanism to capture this signal.
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