Skip to content

Fix editor overflow #7833

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 2 commits into from
Jul 7, 2025
Merged

Fix editor overflow #7833

merged 2 commits into from
Jul 7, 2025

Conversation

timotheeguerin
Copy link
Member

@timotheeguerin timotheeguerin commented Jul 4, 2025 •
edited
Loading

fix #7117
image

@pkg-pr-new pkg.pr.new
Copy link

pkg-pr-new bot commented Jul 4, 2025 •
edited
Loading

Open in StackBlitz

npm i https://pkg.pr.new/microsoft/typespec/@typespec/playground@7833

commit: a2e88ee

@github-actions GitHub Actions
Copy link
Contributor

github-actions bot commented Jul 4, 2025 •
edited
Loading

All changed packages have been documented.

  • ✅ @typespec/playground
Show changes

@typespec/playground - fix ✏️

Fix editor hovers being cropped by the editor boundary

@azure-sdk
Copy link
Collaborator

azure-sdk commented Jul 4, 2025 •
edited
Loading

You can try these changes here

🛝 Playground 🌐 Website 🛝 VSCode Extension

@timotheeguerin timotheeguerin marked this pull request as ready for review July 6, 2025 22:18
chrisradek
chrisradek approved these changes Jul 7, 2025
View reviewed changes
@timotheeguerin timotheeguerin added this pull request to the merge queue Jul 7, 2025
Merged via the queue into microsoft:main with commit e06d743 Jul 7, 2025
26 checks passed
@timotheeguerin timotheeguerin deleted the fix/editor-overflow branch July 7, 2025 17:19
lmolkova pushed a commit to lmolkova/typespec that referenced this pull request Jul 9, 2025
@timotheeguerin @lmolkova
Fix editor overflow (microsoft#7833)
dc5a354 
fix microsoft#7117
<img width="589" alt="image"
src="https://github.com/user-attachments/assets/814ed53c-7f6d-480b-8098-de013e34ee80"
/>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@chrisradek chrisradek chrisradek approved these changes

@bterlson bterlson Awaiting requested review from bterlson bterlson is a code owner

@markcowl markcowl Awaiting requested review from markcowl markcowl is a code owner

@witemple-msft witemple-msft Awaiting requested review from witemple-msft witemple-msft is a code owner

@AlitzelMendez AlitzelMendez Awaiting requested review from AlitzelMendez AlitzelMendez is a code owner

Assignees
No one assigned
Labels
ui:playground
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Playground cropping the errors hover again
3 participants
@timotheeguerin @azure-sdk @chrisradek