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.

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

Improve mobile experience #802

Open
hslee2008 opened this issue May 7, 2022 · 0 comments · May be fixed by #1045
Open

Improve mobile experience #802

hslee2008 opened this issue May 7, 2022 · 0 comments · May be fixed by #1045
Labels
enhancement Something new the playground could do help wanted Not immediately going to be prioritized — ask for mentoring instructions!

Comments

@hslee2008
Copy link

Problem

Rust playground will be much more better if it's a mobile friendly editor.
Though it is true mobiles are not for editors, people viewing documentations in mobile might be uncormftable.

play rust-lang org_

The UI were very small or sometimes it went off-screen.

How to fix

  1. Update index.ejs (add viewport for mobile)
  2. Update the header ui to make a 'more' button in mobiles that loads other contents if clicked
@shepmaster shepmaster added enhancement Something new the playground could do help wanted Not immediately going to be prioritized — ask for mentoring instructions! labels May 7, 2022
@shepmaster shepmaster changed the title [Enhancement] Mobile friendly Improve mobile experience May 7, 2022
@krmanik krmanik linked a pull request Feb 19, 2024 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Something new the playground could do help wanted Not immediately going to be prioritized — ask for mentoring instructions!
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants