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

Use a monospaced font #256

Open
rumblesan opened this issue Jun 21, 2015 · 2 comments
Open

Use a monospaced font #256

rumblesan opened this issue Jun 21, 2015 · 2 comments

Comments

@rumblesan
Copy link
Collaborator

If we used a monospace font then it would mean that successive lines of code line up. It could be really useful for audio patterns and the like.

@davidedc
Copy link
Owner

I did consider some monospaced fonts before picking our current font (Maven Pro) but they didn't fit from a style perspective and I thought it wasn't a big deal.

But I think we might have a "theming" discussion soon - I see at least four main styles:

  • "from the future" style which is what we have now in the environment. Sort of slick.
  • "playful" style, which is the one of the website. Primary colors and Google-like whitespace.
  • "cutsie", which could be cool for kids. The turtle would look like a turtle, and the font could be comic sans. Because kids want ponies. What the heck I might want ponies too.
  • "high-tech" which would be "terminal from the 70s" colours, monospaced fonts and vi bindings.

We could start with a "themes" menu or a "gear/settings" menu where one could choose theme...

@rumblesan
Copy link
Collaborator Author

So I have actually been thinking about something along those lines. Though
actually less about style and more about features. So there's a beginner
mode for learning and teaching, but also a 'high performance' mode, where
more stuff is turned on.

Agree that it would be worth while having a discussion around this sort of
stuff

Guy
On 21 Jun 2015 16:52, "Davide Della Casa" [email protected] wrote:

I did consider some monospaced fonts before picking our current font
(Maven Pro) but they didn't fit from a style perspective and I thought it
wasn't a big deal.

But I think we might have a "theming" discussion soon - I see at least
four main styles:

  • "from the future" style which is what we have now in the
    environment. Sort of slick.
  • "playful" style, which is the one of the website. Primary colors and
    Google-like whitespace.
  • "cutsie", which could be cool for kids. The turtle would look like a
    turtle, and the font could be comic sans. Because kids want ponies. What
    the heck I might want ponies too.
  • "high-tech" which would be "terminal from the 70s" colours,
    monospaced fonts and vi bindings.

We could start with a "themes" menu or a "gear/settings" menu where one
could choose theme...


Reply to this email directly or view it on GitHub
#256 (comment)
.

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

No branches or pull requests

2 participants