-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Frontpage minor issues #3952
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
Comments
I think we should just remove the arrows. They're not very useful and cause issues like this. |
👍 Also, if somebody really wanted the feature, there might be simpler designs to achieve it, since apparently website maintenance falls on Dotty hackers? |
Fix scala#3952 by simplifying the layout, in particular by dropping navigation arrows as suggested in scala#3952 (comment).
Fix scala#3952 by simplifying the layout, in particular by dropping navigation arrows as suggested in scala#3952 (comment).
Getting started with Dotty again, the homepage looks pretty cool and instructions mostly work, with two small exceptions:
Ticket filed after some discussion on Gitter around https://gitter.im/lampepfl/dotty?at=5a71ede136de78850cd37253
The text was updated successfully, but these errors were encountered: