Skip to content
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

Fix editor dark theme #4719

Merged
merged 2 commits into from
Oct 14, 2024
Merged

Fix editor dark theme #4719

merged 2 commits into from
Oct 14, 2024

Conversation

timotheeguerin
Copy link
Member

No description provided.

@azure-sdk
Copy link
Collaborator

azure-sdk commented Oct 14, 2024 •
edited
Loading

All changed packages have been documented.

  • ✅ @typespec/playground
Show changes

@typespec/playground - fix ✏️

Fix dark theme not applying

@azure-sdk
Copy link
Collaborator

You can try these changes here

🛝 Playground 🌐 Website 📚 Next docs

@timotheeguerin timotheeguerin added this pull request to the merge queue Oct 14, 2024
Merged via the queue into microsoft:main with commit da9a31f Oct 14, 2024
22 checks passed
@timotheeguerin timotheeguerin deleted the fix-editor-dark-theme branch October 14, 2024 17:15
swatkatz pushed a commit to swatkatz/typespec that referenced this pull request Nov 5, 2024
@timotheeguerin
Fix editor dark theme (microsoft#4719)
dab4ec0
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

@allenjzhang allenjzhang Awaiting requested review from allenjzhang allenjzhang 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.
3 participants
@timotheeguerin @azure-sdk @chrisradek